[Python-Dev] XML codec?