◐ Shell
clean mode source ↗

Message 128055 - Python tracker

Documenting “--extra-args=--foo” or “--extra-args -- --foo” (untested, but should work) seems good.