From latex to HTML with tex4ht