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