What’s interesting here is it seems to have used suitably large fonts for my 4K monitor, but it’s not that it detected a high DPI screen - xdpyinfo still says 96dpi.