Add an option to avoid the generation of lots of redundant copies of the "encodeHTML" function