Bypass GitHub Ajax

Helps avoid Ajax-based loading of stuff on github with the side effect of bypassing some webcomponents

As of 26.07.2020. See апошняя версія.