[PD-dev] [pure-data:patches] #524 cmdline options to undo previous options