[Edu-sig] Defining source code encoding for Python 2.3