Docs: Make minor improvments in `html.md`