[PD-dev] [ pure-data-Bugs-3025286 ] font sizes