[minor] Nuke pointless HTML docs