[PD-dev] [ pure-data-Bugs-3437142 ] Font WAY too small for main console