The train has already gone but the whole "HiDPI scaling" is such a sad solution to the problem. Were the existing DPI APIs really such a dead end? They could have been extended to support on the fly DPI changes. The web "px" debacle is part of the same culture, I guess.