Some additional data points. Within same IE instance (different tab). Here are the reload times:
Also, changing the 'theme' via the dropdown is dramatically different. Under 3.3.3 it's almost instantaneous but under 4.0.0 it takes as long as a complete reload.