html32.4ht, html32-math.4ht

[exit the 4ht files]