You will find appropriate support in the TechNet and/or MSDN forums.
Thank you for your response here. It's already been posted in the MSDN Developer forums, although it's not really a developer or coding issue, but more of an IE consumer-specific performance issue. This is why I thought I would post a comment here as well. It has also been reported as a BUG at https://connect.microsoft.com/IE/Feedback/Details/1271727 (which is probably the most appropriate location) but with no replies from Microsoft so far.