Set html_root_url

Created by  David Tolnay  on October 6, 2019
OOWGPNHEB7QQ7A2NSMAJ5VPFE7FPPDVXM5Q3X7KHAFCAXBOJAIEAC
Change contents