function addGenerator(url) {
  if (typeof window.sidebar == "object" &&
      typeof window.sidebar.addMicrosummaryGenerator == "function")
    window.sidebar.addMicrosummaryGenerator(url);
  else
    alert("Sorry, you need a microsummary-enabled browser to install and use microsummary generators.");
}