concept G22ProjectInfo {
  gettable S projectID = aGlobalID();
  File projectDir;
  gettable new G22MaskSize defaultMaskSize;
  S compilationDate;
  
  // I guess this could be removed since we now have the travel log
  new L<File> historicalProjectDirs;
  
  gettable bool useFirefox;
  
  // historical fixer
  // void _doneLoading { historicalProjectDirs.remove(null); }
  
  void addHistoricalProjectDir(File dir) {
    if (syncSetAdd(historicalProjectDirs, dir))
      change();
  }
}