public void wipeSavesAfter(String option) {
    //
    //  Delete any subsequent time-stamp entries.
    boolean matched = false ; for (String stamp : timeStamps) {
      if (matched) {
        timeStamps.remove(stamp) ;
        final File f = new File(fullSavePath(savesPrefix, stamp)) ;
        if (f.exists()) f.delete() ;
      }
      if (stamp.equals(option)) matched = true ;
    }
    if (! matched) I.complain("NO SUCH TIME STAMP!") ;
  }