[tonglil]

If someone wants to keep the tabbed nav sticky to the top of the page, I wrote a Firefox add-on / Chrome extension to do so: https://github.com/tonglil/github-static-nav