Comment by SirSavary

Seems to me that proper DPI detection might lead to a better experience across all "unique" monitor setups, not just this one.

Is it extra work? Sure. I thought we referred to that as polish.