It would be useful for teaching purposes to have a -q flag for roc repl that suppressed the startup message so that it didn't appear in captured output:

  The rockin' roc repl
────────────────────────

Enter an expression, or :help, or :q to quit.

If this is added, could -q (or some other flag) disable colorized output? The escape sequences used to change colors have to be filtered out if I'm saving output for inclusion in Markdown and other docs.