Great job pushing out the update, Robin!
I couldn’t figure out why in Dark Mode I had one less header box showing up. Now I see it’s because of the font size update! Very cool.
Honestly I barely noticed it. I think somewhere it’s been said that if your updates are barely noticeable and are user intuitive then that’s a job well done!