Helps avoid Ajax-based loading of stuff on github with the side effect of bypassing some webcomponents
As of 26. 07. 2020. See the latest version.
