(doc) Remove .html files no longer used.