Script performance in HTML sections slows down every time a profile is displayed. This happens even if you repeatedly switch between the same two profiles. It seems not to be an IE problem, because opening the HTML section file directly in IE and repeatedly reloading it doesn't show an impact on script performance.

And I'm not talking about a few msec here. For example, after switching 20 times between two profiles, the HTML section script takes twice as long to execute as it did initially.