IE 7 kommt…
… und das auch gleich von alleine. Wie auf heise.de zu lesen ist, wird dieser mit dem automatischen Update mitinstalliert.
Nur gut, dass ich das deaktiviert habe. Installieren werde ich ihn mir dennoch, kann man vielleicht doch mal brauchen.