Adds a link to the DOM to quickly switch between github repos and their deployed Github Pages.
À partir de 2018-04-24. Voir la dernière version.
Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.
