[tor-commits] [tor/master] Teach format_changelog.py to emit HTML.