more HTML formatting of README.md