page moved to Python: Convert File Encoding