This means committing a bunch more generated files, but it's probably worthwhile, so we can have both rich hyperlinked/styled command docs and clean readable command help.