Workaround for UnTeXing of small caps, etc. for HTML

This is a workaround based on the original workaround which was only working for "LaTeX".