svoid agiBlue_clearDownloadedMainPages() {
  deleteFile(agiBlue_downloadedMainPagesFile());
}