static S unixLineBreaks(S s) {
  ret s.replace("\r", "");
}