Fix HTML help and man pages for commands with dashes