公式なものではありません。インストール済プラグインの情報を編集するツール“plugins_ini_editor”を作成しました。設定を読み取り、自動的にユーザの設定ファイルの場所を見つけます。場所を指定する際に自動的に探し出します。作成する機能があります。ボタンを押下してください。更新時、自動的にバックアップファイルを作成します。まで連番で作成します。plugins_ini_editor.ini)を変更することにより、本体の将来の仕様変更や、仕様追加にもある程度対応できます。読込時などにこのツールの設定ファイルを作成します。(通常は、変更しないでください。公式なサポートはありません。