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.
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.

tiborsimko/invenio,inveniosoftware/invenio,inveniosoftware/invenio,tiborsimko/invenio