docs: def touch(filename, timestamp):
      """set the mtime of a file"""
      if timestamp is not None:
          timestamp = (timestamp, timestamp)  # atime, mtime
  
      from os import utime
      utime(filename, timestamp)