This is an automated archive.

The original was posted on /r/linux by /u/Option420s on 2023-08-30 12:39:52+00:00.

I have used it a few times and it handles mixed DPI/scaling better than any other OS I’ve used. If nothing else I figure we could use similar software to fix scaling in other Linux desktop environments.