Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Documentation updates and organisation #3584
This extended into a general tidy up of the home page. In particular, I want the top level table of contents to fit on one reasonable sized screen, and I want all the links in the sidebar to stay within the site, so you can click through them without being thrown to another site altogether.