[PD-dev] [ pure-data-Bugs-1626077 ] Hash signs in GUI labels get replaced by dollar signs