Make `tools.md` better suited for `pandoc -t man`