GitHub repo button/link semantics

[damianwalsh]

This is a very minor thing: at the top of the page, there's a button element wrapped in a hyperlink pointing to the GitHub repo. Using the button element seems unnecessary/confusing. I'd expect it to trigger an action on the current page instead of navigating to another page.