Fix typo in header of `doc/html.md`

Fix typo: Promt/Prompt