Turning on HighDPI improves much of the interface -- icons are still blocky, but most text is a lot crisper. However, some text is rendered TINY. It seems to be kind of random which parts of the UI are undersized, but it definitely includes the right panel of preferences (left side is fine), tooltips, and the letters abbreviating my name as a "profile icon" in the top right corner. See screenshot below. This is using DirectX 11, "Scale and Layout" (in Windows Display settings) set to 250% (which was manufacturer's default and says "recommended"), on a 4K 17" laptop. Nobody else seems to be having this problem, so I'm curious what might possibly be configured wrong for me.