New developer tools in Firefox 10 and 11