Re: [Python-Dev] How to add an encoding alias?