Brings back the old navbar on github.com. - View it on GitHub