Revision 1452

Prevent HTMLTemplate.py to Encode our strings - we just do this ourselves.
HTMLTemplate.py is buggy and ignores own {De,En}coders.  I gave up to provide
a real fix but just changed the default encoder to do nothing.