docs: def _write(self, destination: TextIO) -> None:
          """
          Writes the converted output to a destination.
          """
          for line in self.dest_lines:
              destination.write(line + NL)