rem: var collapsed = true; 
add: var hidden = true; 
context: GM_BrowserUI.toolsMenuShowing = function() {  var installItem = ge("userscript-tools-install");  var collapsed = true;  if (window._content && window._content.location &&      window.content.location.href.match(/\.user\.js(\?|$)/i)) {    collapsed = false;  }  installItem.setAttribute("collapsed", collapsed.toString());}
meta: 4236	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4236/93af19771bc738ac7f91dd9223d81de0033b8805/browser.js/clean/src/chrome/chromeFiles/content/browser.js