it's better to group man pages in a separate sub-folder in case we add alternative doc formats in the future, or if we add additional man pages.
This also allows to read man pages directly from the source tree, e.g. via `export MANPATH=Doc/man`, or `man -M Doc/man ttx`