[Python-Dev] Re: [ python-Patches-590682 ] New codecs: html, asciihtml