Closed
Description
Linux and mac use \n for line endings, Windows uses \r\n, and we need to deal with it somehow.
Just using both wouldn’t work too well: we need to create edits to the documents, and worrying about line separators when editing code is too much of a hassle.
So we should use \n everywhere, and convert to \r\n at the boundary. Specifically, in the paerse
query we should do the conversion in the “in” direction, and we should transform edits on the “out” direction.