dcower

function search_and_remove() {
  // Search for crashed windows and tabs. Reverse the list so that we delete
  // from the bottom, which is MUCH faster.
  elements = Array.from(document.querySelectorAll('li.savedwinNTASC,li.savedtabNTASC')).reverse();

  if (elements.length == 0) {
    console.log("Finished removing stale windows and tabs.");
    return;
  }