I.e. whether we should use `\r`.
I.e. whether we should use
\r.