A browser extension that adds various web developer tools to a browser.
Chrome: Version 0.5 (August 2, 2017)
Firefox: Version 2.0.1 (November 15, 2017)
Opera: Version 0.2.2 (February 15, 2017)
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.