docs: def map_copy(source: tcod.map.Map, dest: tcod.map.Map) -> None:
      """Copy map data from `source` to `dest`.
  
      .. deprecated:: 4.5
          Use Python's copy module, or see :any:`tcod.map.Map` and assign between
          array attributes manually.
      """
      if source.width != dest.width or source.height != dest.height:
          dest.__init__(  # type: ignore
              source.width, source.height, source._order
          )
      dest._Map__buffer[:] = source._Map__buffer[:]