docs: def mergecopy(src, dest):
      """
      copy2, but only if the destination isn't up to date
      """
      if os.path.exists(dest) and os.stat(dest).st_mtime >= os.stat(src).st_mtime:
          return
      copy2(src, dest)