P.S. Obviously, when you have a 4K display you are much more likely to want Windows display scaling, and perhaps more than the 175% you can get from a dropdown.