Helps avoid Ajax-based loading of stuff on github with the side effect of bypassing some webcomponents
À partir de 2020-07-26. Voir la dernière version.
