Convert a list of lines to a single string with line endings.
String linesToIoString(List<String> lines) { if (lines.isEmpty) { return ''; } return '${lines.join(_eol)}$_eol'; }