Is it just me, or did mobile.twitter.com just reduce the font size to slightly below “readable by middle-aged people”?