@DavidCarlisle you helped me before with this sed command to change the forward tick in verbatim text, in the HTML file, after the tex4ht is finished. For some reason, now tex4ht generates something little different and can't figure how to make it do the translation again. This is the command you gave me:
sed -ie "s/’/'/g" *.htm
but now (for some reason) tex4ht generates this: (one verbatim example from HTML)
outPut={’u’,’w’,’q’,’theta’};
and now sed does not change those forward quotes any more. I tried this: