rem: GM_prefRoot.setValue("version", "0.4.2"); 
add: GM_prefRoot.setValue("version", "0.4.9.9"); 
context: function GM_updateVersion() {  GM_log("> GM_updateVersion");  // this is the last version which has been run at least once  var initialized = GM_prefRoot.getValue("version", "0.0");    if (GM_compareVersions(initialized, "0.3") < 0) {    GM_pointThreeMigrate();  }    if (GM_compareVersions(initialized, "0.4.2") < 0) {    GM_pointFourMigrate();  }  // update the currently initialized version so we don't do this work again.  GM_prefRoot.setValue("version", "0.4.2");  GM_log("< GM_updateVersion");}
meta: 9744	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9744/8550c3471d1ac66c3308b1fc49845f2833b8da8d/versioning.js/clean/src/content/versioning.js