This is a hot fix release to resolve an important issue with horizontal stretchy characters (e.g., \overline and \overrightarrow) in CommonHTML output that was introduced in the recent version 3.0.4 release.