[tor-commits] [tor/master] Use gitlab-friendly URLs when formatting changelogs as HTML