Right, you shouldn't have to switch operating systems to get the benefits. It seems perfectly reasonable to expect the display subsystem of your preferred OS to support HiDPI mode, however it chooses to do so.