[Python-3000] Issues about Python script encoding

["Martin v. Löwis"]

> About the coding header, IDLE doesn't read #coding: header. Here is a fix (use 
> tokenize.detect_encoding):
> http://bugs.python.org/issue4008

Are you really sure about that? It did in the past.

Regards,
Martin