add: homePage = homePage.replace(/\|/g,', '); 
context: function updateHomeTooltip(){  var homeButton = document.getElementById("home-button");  if (homeButton) {    var homePage = getHomePage();    homeButton.setAttribute("tooltiptext", homePage);  }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/9de1c556326d62d792f554552bf1e3e642f4bba1/browser.js/clean/browser/base/content/browser.js