These must be LF, as they go into an editor buffer