Hmmmm... Better call it a change, I'm not sure it is an improvement over the previous versions. The font used is too small at 96 dpi (unless you are less than 40 -- not my case). The previous font is much clearer and easy to read. Ideally this should be a setting, I wouldn't mind going through zipped XML or JSON files to change display fonts. Thanks a lot for the other improvements, though.