Yes it has been semi-problematic for some reason with IE7 for some users. Others don't seem to have this issue. I seem to be able to run IE7 just fine on this site.
This site also runs many other sites and customized beta software as well, it's possible that the site was just slow for a few minutes when you noticed it.
.
