No longer using tex4ht