プラグインの追加タブの「インストール」ボタンを押しても実際はすぐに何かがインストールされるわけ
ではないので、名前を「検索」などにしてほしい。