プログラムの冒頭で「# coding: （エンコーディング方式）」のようにすると、デフォルト以外のエンコーディングを使うことも可能である。
はい、その通りです。Pythonのソースコードの冒頭で # coding: （エンコーディング方式） と指定することで、そのソースコードのエンコーディングをデフォルト以外のものに設定することができます。これは、Pythonがソースコードを解釈する際に正しいエンコーディングを使うために役立ちます。たとえば、日本語を含むソースコードを書く場合には # coding: utf-8 と指定することが一般的です。