Operaの設定ファイル

Operaの設定ファイルは
[http://jp.opera.com/support/usingopera/operaini/
みたいにいろいろいじれる事は知っていたが、
opera:config
っていうコマンド(アドレスバーに入力する)で設定ファイルでディタが開くのは知らなかった。これいいなぁ。
設定ファイルをブラウザで書き換えるって言うのはおもしろいなぁ。普通のアプリでも応用できるかも。
ついでに、9.0からOperaにWebアーカイブ(.mht)で保存するというのが追加されていた。これはいい。