@cliffordbeshers That was actually a mistake and it should update to the other default font when it reloads... So, I guess if you like it, enjoy it until it updates. 🙂 Probably a preference for this in the future would be good.