知りませんでしたシリーズ。
日本語環境でのPython (for Python 2.3 or later)
ソースコードのエンコーディングを定義するには、ソースコードの一行目か二行目に次のように書きます。
# coding: エンコーディング名
# coding=エンコーディング名
そして
前後には余計な文字列を書くこともできます。 Emacs 使用者は
# -*- coding: euc-jp -*-
のように、Vim 使用者は
# vim: fileencoding=euc-jp
のようにするといいでしょう。
そうだったんだ・・・。
上の「Emacs 使用者」向けの書き方が仕様なんだと思ってました。