so, also: it looks like `[jvm] options` isn't resp...
# general
w
so, also: it looks like
[jvm] options
isn't respected by
repl.scala
... but
[jvm.repl.scala] options
is