1.5.0.10にアップデートしたら keyconfig が...

keyconfigという拡張が使えなくなった。
スレッド開閉のキーバインド追加等、それなりに弄っていたのに使えなくなってしまって悲しいので、ちょっといけない事をして有効化。

Profileディレクトリ中のextensions/keyconfig@dorando/install.rdfmaxVersion1.5.0.9になっていたので1.5.0.10へ書き直したら有効になった。