static File defaultPlaceForStoredWebPage(S url) {
  ret newFile(storedWebPagesDir(), uniqueFileNameUsingMD5_80_v2(url) + ".html");
}