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.

Inizia esaminando l’issue #4526 e la merge request #4530, compreso il motivo per cui la proposta precedente è stata rifiutata. Valuta i compromessi dell’aggiunta di un manifest web e di un service worker, quindi definisci cosa dovrebbero offrire la disponibilità offline della documentazione e l’installazione prima di iniziare l’implementazione.