Weird thing with this laptop screen: it's in 1920x1080 but virtually every DE or Window manager needs about a 25% bump in DPI or scaling, because otherwise I need a flipping magnifying glass. Windows gets around the problem with a default 150% upscale, which is actually a little too beaucoup.