An optional supplement to the "GitHub Red Issues" script/style.
Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.
cover few discussions as gray
extend supported to proxies/mirrors
