4k scaling support?

Hi all,
I'm using Mint Cinnamon 22 at a 4k resolution with a 200% scale. I need the scaling so the RDM UI elements can be seen, but it's applied to the terminal as well, resulting in fuzzy terminal text:


Has anyone found a way to get crisp terminal text with a scaled UI?

If I set a variable GDK_SCALE=1.25 and increase the font size in settings the terminal text looks better, but this is still not as good as a native terminal