Make HTM and HTML files also fulltext-indexable. This is needed for articles written in HTML. Note that this does not interfere much with the treatment of HTML splash pages, because they usually don't use these extensions.