はい、それが該当するもののようです。
Customization > Plugin には見当たりませんでした。非公式のものですね。直接作者に連絡することをお勧めしますが、こちらで同じものを使っている方がいれば、何かヒントがあるかもしれません。
