Well, I have no experience, and I can’t try, but this may already help: GUI dpi scaling?
Cheersd, Bertrand.