<div dir="ltr">I'm not entirely sure this is the right way to fix the issue, but since SourceManager reads \r \n we should probably write them without newline translation. What happens now is, newline is read as \r \n and when it's written out the \n is translated so we end up with duplicated \r.<div><br></div><div><br></div></div>