Also, `--toplevel-off` is a bit non-standard compared to our other CLI options.  Elsewhere we use `--no-<opt>` and `--<opt>` (e.g. `--no-color` and `--color`).

What do you think about calling this `--no-toplevel-dsl` and `--toplevel-dsl`?