The F12 Developer Tools, already substantially upgraded in Internet Explorer 11, pick up a bunch of new features.