They still haven't gotten around to fix the names yet.
(Also, yes, I know IE9 has rendering issues with the site. But when I'm mass-clicking, well, it's faster than Chrome, which the site recommends - Chrome chugs when there are too many tabs. 20 is too many for Chrome.)
And I did send the IE team feedback about the rendering issue. I hope that the final version renders them correctly.