sS loadPageAndStore_once(S url) {
  File f = defaultPlaceForStoredWebPage(url);
  if (f.exists()) ret loadTextFile(f);
  S page = loadPage(url);
  saveTextFile(f, page);
  saveTextFile(replaceExtension(f, ".url"), url);
  ret page;
}