Still alive, brooding in a corner because I eventually found the source of my DPI woes, and it's not really something that I can fix easily (java not knowing the hardware's ppi).
For the record, I have a 12.3 inch monitor at 2736 x 1824 res (surface pro 4). The smaller letters become entirely...