Add the `html_doc_url` attribute.