Extensionの削除

Mouse Gesturesを入れたらまったく有効にならず。
設定ボタンも削除ボタンも効かなくなってしまって何とも気持ち悪い。どうしても削除したくなってしまった。
Uninstalling add-ons - MozillaZine Knowledge Base
ここに書いてあるやり方を順にためしたけど、結局うまくいったのはextensions.*を削除するやつ。
osxの場合は~/Library/Application Support/Firefox/Profiles/（xyz:ここはマシンごとに違う名前かな？）配下にある
extensions.cache
extensions.ini
extensions.rdf
を削除したら無事Mouse Gesturesも無くなりました。これらのファイルは再起動すればまた出来上がります。そもそも何でこの状況に陥ったかはわからないけど。