Helps avoid Ajax-based loading of stuff on github with the side effect of bypassing some webcomponents
Från och med 2020-07-26. Se den senaste versionen.
