util.js: Ensure \r\n becomes \n.