Incidentally, on my desktop system, the fonts have changed in the other direction, becoming slightly smaller. xdpyinfo says 85 dpi there.
Incidentally, on my desktop system, the fonts have changed in the other direction, becoming slightly smaller. xdpyinfo says 85 dpi there.