#5365: Please retire tetex-tex4ht