docs: Rename htmlman3 -> htmlman.