Repository navigation
This updates the program to fetch file content fron
https://raw.githubusercontent.com/ instead of the previous approach of
parsing the HTML from the normal permalink page. The prior approach
stopped working because github stopped fully prerendering the code UI
element on the server.