[PD-dev] [ pure-data-Patches-3136984 ] [bugfix] "pd -font-weight normal" causes mayhem