An optional supplement to the "GitHub Red Issues" script/style.
These are all versions of this script. Show only the versions where the code changed.
cover few discussions as gray
extend supported to proxies/mirrors
