Hack places where '--' should appear as literal output but the -- was (properly) converted to - by LaTeX2HTML.
Hack places where '--' should appear as literal output but the -- was
(properly) converted to - by LaTeX2HTML.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator