Teach format_changelog.py to emit HTML.