Re: #5365: Please retire tetex-tex4ht