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