This is a hotfix to fix the doc for the current setup, see #868 for possible future directions.
These are the sources for the documentation but not the whole website. The website templates and other things are in garage_website, which uses this as a submodule.