[eitau_1]

Weird, I remember Github as a pioneer of SPAs: in ~2013 you could browse code tree without the page reloading.

Though I agree today's Github is awful slow, JS is required to see issues, …