Hi.
Yesterday I built Audacity 2.4.2 following the Steve guide here:
https://forum.audacityteam.org/t/building-audacity-2-4-2-on-ubuntu-20-04/57719/1
And is the first time I got the correct font size on audacity:
Plus solving another weird behaviors. From now I strongly recommend build from source on your own machine 