A browser extension that adds various web developer tools to a browser.
Chrome: Version 0.4.7 (July 21, 2016)
Firefox: Version 1.2.9 (July 26, 2016)
Opera: Version 0.2.1 (July 21, 2016)
A browser extension that adds a menu and a toolbar button to switch the user agent of a browser.
Version 0.7.3 (January 4, 2011)
View your Pocket articles listed by reading time and automatically add reading time tags to those articles.