Make `tools.md` better suited for `pandoc -t man`
Add doc/index.md -- documentation frontpage/TOC