static S fixNewLines(S s) {
  s.replace("\r\n", "\n").replace("\r", "\n");
}