[Someone]

_If_ you can live with having larger text in other apps, too, you can do that in the accessibility settings.

[bori5]

That helps at the expense of everything else now borked, but I wonder what is so hard about having a per app font setting ?