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/host-allocation.pdf b/docs/host-allocation.pdf
deleted file mode 100644
index 0880db6..0000000
--- a/docs/host-allocation.pdf
+++ /dev/null