1.3: remove ext.args?

[mgeaghan]

Cali:

this is kind of dicey given the "no params in configs" rule. While this one is an exception, it may be better to leave it as a param for command line or params file, since it can be provided as such?