method newer_file_exists =
      let d = Ed_misc.mod_date_of_file filename in
      match date with
        None -> true
      | Some d2 -> d2 < d