[Python-Dev] htmllib.HTMLescape()