実行用のメニュー項目が「ツール」メニューにあるのが何となく収まり悪く感じて、「ブックマーク」メニューに移しました。
ついでにアップデート用のURLを追加したので、他の拡張と一緒にアドオンマネージャから簡単に更新できるようになりました。
…て言っても、予想通り自分以外のダウンロードはまだ無い模様。
（もしかしたら１件だけあったかも？）
＞ダウンロードページ
実行用のメニュー項目が「ツール」メニューにあるのが何となく収まり悪く感じて、「ブックマーク」メニューに移しました。
ついでにアップデート用のURLを追加したので、他の拡張と一緒にアドオンマネージャから簡単に更新できるようになりました。
…て言っても、予想通り自分以外のダウンロードはまだ無い模様。
（もしかしたら１件だけあったかも？）
＞ダウンロードページ