static File agiBlue_downloadedMainPagesFile() {
  ret javaxDownloadsDir("agi-blue.main.txt");
}