Hmm, Windows update + restart seems to have fixed the font rendering in general, but this page still looks the same.