Many thanks for this detailed and very informative answer. And it is very kind of you to have made plugins available to the wider Grav community.
Yes, I am impressed too by Grav, although I should devote more time to explore it in order to understand fully how it works. I have installed some additional plugins without managing to understand until now how they work. While it was very clear how yours should be used, for some other plugins a simple tutorial would help.
As usual, it is true that there is a learning curve in order to learn using a new CMS, and one has to devote some time to that.
Regarding redirections, your reading suggestion has been very useful. Being more familiar with WP, I had expected some plugin in which redirections could be managed (and also for spotting 404 errors). But the method with simple aliases could work too, and I assume that it could work for several hundred redirections (one one of my websites, moved from a previous CMS, I have 2,000 redirections).
Regarding the PDF not showing at all on Firefox, but showing on other browsers, I really do not understand why it is so. However, I confirm that my PDF embeds on WP show fine on Firefox, so I have no idea why it does not work.
Regarding the upper bar, it shows for embeds on my WP sites on all browsers (using PDF Embedder). This is why I find it puzzling that the bar does not show at all in Safari (see first screenshot) and only in a limited way on Chrome (see second screenshot).
With the WP embeds, they all show the same (as in your demo) on all browsers.
But do not want you to lose time in solving that small mystery. It would be interesting to hear from the experiences of other users.
Many thanks for you kindness once again!
