5k might be a different story, are you actually running it at 5120p with 2.0 scale? You can get that from running `system_profiler SPDisplaysDataType`, if you are running HiDPI with 5k that'd show something like Resolution: "10240 x 5760", UI Looks like "5120 x 2880"