[PD-dev] [ pure-data-Patches-2947822 ] space character in gui labels causes disaster