Update mkdocs.yml

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

merged

mentioned in commit 491ccf4f