single hyphens in the HTML output; this is no longer needed now that
../perl/python.perl makes things just work