Web Developer
A browser extension that adds various web developer tools to a browser.
Chrome: Version 0.4.6 (May 23, 2014)
Firefox: Version 1.2.5 (April 29, 2013)
Opera: Version 0.2 (May 23, 2014)
User Agent Switcher
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)
Other Sites
Read Ruler
View your Pocket articles listed by reading time.
Random, yes. Useful, no.
A largely unfiltered list of the links that I send and receive each day with friends.


