internet explorer developer tools is a feature of which internet browser?
(AND computer.web_browser (JOIN computer.web_browser.extensions m.02r2871))