Turns out my eyes are still working well enough for 4K res on a 13" screen to make a significant difference, to dismay of my poor 6 years old integrated GPU.