docs: def out_of_date(original, derived):
      """
      Returns True if derivative is out-of-date wrt original,
      both of which are full file paths.
      """
      return (not os.path.exists(derived)
              or os.stat(derived).st_mtime < os.stat(original).st_mtime)