GM_config is a user script library that allows the user to edit certain saved values through a graphical settings menu. (This is just a copy of https://github.com/sizzlemctwizzle/GM_config to use in GF scripts)
このスクリプトは単体で利用できません。右のようなメタデータを含むスクリプトから、ライブラリとして読み込まれます: // @require https://update.greatest.deepsurf.us/scripts/459911/1188061/GM_config-lib.js
