Somewhere early on we are making use of `\n`. Depending on the user setup they might not see a newline, which would be problematic. It might be worth adding a note that some systems use `\r\n` instead and that `System.lineSeparator()` (or `%n` in formatting) is a way out.