Having md files in /docs/ without the corresponding nav entry is not permitted by the mkdocs build script.