static File defaultPlaceForStoredWebPage(S url) {
  ret javaxDataDir("Stored Web Pages/" + uniqueFileNameUsingMD5_80_v2(url) + ".html");
}