アドオンマネージャーで検査してもそれらしいのが出てこないよ。