Independent of the merits or demerits of ClearType and antialiasing, we'll do something about this for the next build.