This new documentation can be built using `make docs`. It should be
built automatically via a hook on github and published on
This allows for much better formatting and is more pleasant to browse
for new contributors. It is possible to build the docs using the
Makefile at the root of the repository.