We need detailed instructions on how to build the docs, as well as to tell both PR authors and reviewers to check they build successfully. Perhaps we could also introduce CI tests to check sphinx formatting?