<b>new plugin: recording options</b> which hijacks the record button,
provides specific command-line flags in a GUI.