docs/html.md: fix wrong line ending