Additional documentation updates

These patches finalize the move from Sphinx-generated HTML documentation to pandoc-generated man pages.  They also clear up a couple of outstanding bugs in the man page generation logic.