GM_option JS (Library) - support tool for UserConfig.(library) Author noisys Created 2015-04-26 Updated 2016-10-07