It seems they are in fact making some major upgrades to the developer tools, as described here: http://msdn.microsoft.com/en-us/library/ie/bg182632(v=vs.85).asp

It seems they are in fact making some major upgrades to the developer tools, as described here: http://msdn.microsoft.com/en-us/library/ie/bg182632(v=vs.85).aspx http://msdn.microsoft.com/en-us/library/ie/bg182632(v=vs.85)... Some of it appears to be parity with existing dev tools for other browsers, but it looks like some very welcome improvements.