@711
2022 halfway has passed now.
I feel it is time to acknowledge that the Portable Document Format is a consolidated standard going beyond flat text and graphics, which cannot be ignored anymore.
So please allow to upload and embed PDFs here.
Thank you.