Improve documentation

This commit ports our documentation to Sphinx.

The reason for this is straightforward. We need to improve both the
quality and the accessibility of our documentation. Hugo is not capable
of doing this, as its primary output format is HTML. Sphinx builds
plenty of high-quality output formats out of the box, and incentivizes
writing good documentation.

1 files changed, 0 insertions, 0 deletions

diff --git a/docs/themes/hugo-book b/docs/themes/hugo-book
deleted file mode 160000
-Subproject 7c26d9b8b731d556a2bf89848f59e8300eabc44