rename xhm-htmlize-or-de-precode to xhm-toggle-syntax-coloring-markup, and massive cleanup other places.