[Python-Dev] Named Unicode Characters