Modernize HTML docs.