Re: [tex4ht] dvilualatex and tex4ht

[Karl Berry]

P.S. As for Ulrike's suggestion, I am not sure if ^^ is really
interchangeable with the binary characters in this context.  It would
take testing.  If it works, that would be ideal.