docs: def write(write_entry: FILE_WRITE_ENTRY):
      """
      Writes the contents of the specified file entry to its destination path.
      """
      output_path = environ.paths.clean(write_entry.path)
      make_output_directory(output_path)
      writer.write_file(output_path, write_entry.contents)