That's good news. The current maximum font sizes are ok, I just wish the default was automatically larger on larger displays. There's gotta be some way to script that. Just grab the current resolution, do some basic integer math, and then pick a font size.