Helps avoid Ajax-based loading of stuff on github with the side effect of bypassing some webcomponents
Ekde 2020/07/26. Vidu La ĝisdata versio.
