Hack places where '--' should appear as literal output but the -- was

(properly) converted to - by LaTeX2HTML.