Add the `html_root_url` doc attribute.