Re: [PD-dev] proposed /usr/bin/pd-gui command