trunk
Clean up --no-prelude-import uses (#5722)
Error when passing multiple input files with --output (#6896)
Shift from ARGS to EXTRA-ARGS where possible (#5602)