static List<String> toTextLines(String text) { return text.replaceAll('\r\n', '\n').replaceAll('\r', '\n').split('\n'); }