Helps avoid Ajax-based loading of stuff on github with the side effect of bypassing some webcomponents
נכון ליום 26-07-2020. ראה הגרסה האחרונה.
