improve html escapification in \pre blocks