Font preferences

I don’t want to ask for very fancy stuff, but some basic display prefs would be in nice to have:

  • font size
  • mono vs. proportional (mono is good technical ./mess --ages and other text sensitive to misinterpretati0n)

Both UTF8 and emoji seem to work fine on iOS 14, which is great.