I finally got a 4K monitor on my work computer. Text looks much crisper for the most part. However, the system font Manifold 9 uses appears fuzzy as can be seen in the image below. It is not mission critical, but is there a way to fix this?

There are some posts about this. Search for “high dpi”

I never got it figured out. Sometimes it's like looking at a dot matrix printer output.