>>784
Jeremy's Mozilla Extensions

Extension Manager 2.0
Extension Uninstaller API 2.1

http://mozmonkey.com/?r=extuninstall

ここからExtension Manager 2.0とExtension Uninstaller API 2.1をイントールしてアドオンを追加したり削除したりする。

エクステンションマネージャーとエクステンションアンインストーラーは
2つの拡張機能の組み合わせで有効な動作をするので必ず両方インストールすること。