3 ms·

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