[dlanouette]

Interesting. It didn't do that for me. But, I had already specifically set my font. So, maybe it changed the previous default to this new font.

[dtertman]

Easy to believe this is true - I hadn't set a preference before, the old default was fine.

[rob74]

Yeah, changing the font if you had specifically configured it before would have caused some angry reactions I imagine...

[dhagz]

It looks like that is the case.