Support PWA for offline documentation usage

Hi there,

Saw that #4526 addressed this, and that the OP actually went ahead and submitted merge request #4530. The merge request was rejected because it was unknown what the tradeoffs of including a manifest and service worker were.

I wanted to maybe restart the conversation on this, I think it'd be beneficial to have the docs be available in their original format for offline consumption. There are obviously work arounds (cloning and serving the site locally, offline docs providers), but both of those have fairly significant drawbacks and aren't as easy as right click installing the page.

Beginnen Sie mit der Durchsicht von Issue #4526 und Merge Request #4530, einschließlich der Gründe, aus denen der frühere Vorschlag abgelehnt wurde. Bewerten Sie die Vor- und Nachteile des Hinzufügens eines Web-Manifests und eines Service Workers, und legen Sie fest, was die Offline-Verfügbarkeit der Dokumentation und die Installation bieten sollten, bevor die Implementierung beginnt.