I'm probably going to buy a laptop with such a display later this year. Seems like a good idea to wait for Windows 10 though.
Probably best to ask Frederico Fissore directly, on the GitHub issue. He and the other Arduino devs sometimes read these forums, but they always see stuff on GitHub.
At the moment, I'm working on the library dependency detection issue... so I'm mostly moved on from work on resolution scaling. It's mostly up to Frederico & Cristian if they want to accept this contribution. I really don't think there's much more I can do here.