static File openTempPageInBrowser(S html) {
  File file = addDateWithMillisecondsToFileName(programCacheFile("temp.html"));
  openInBrowser(file);
  ret file;
}