such as changing the command-line arguments, as for @sorawee 's [plugin](https://github.com/sorawee/drracket-cmdline-args/blob/master/tool.rkt#L52).
