Helps avoid Ajax-based loading of stuff on github with the side effect of bypassing some webcomponents
Versione datata 26/07/2020. Vedi la nuova versione l'ultima versione.
