A browser extension that adds various web developer tools to a browser.