I've enabled [the new GitHub documentation server](https://github.com/blog/2289-publishing-with-github-pages-now-as-easy-as-1-2-3), but we'll need to add index page to it.