Frankly it looks fine already and I have no appetite for dealing with that stuff on Linux. I do not like 720p on 1080p screens FWIW, so it's not like I don't care about image quality at all. I guess a 2x scaling has no ugly, irregular scaling artifacts and it helps that OLED pixels aren't perfect rectangles. Plus, of course, 1080 is more than 720.