A browser extension that adds various web developer tools to a browser.
Chrome: Version 0.4.5 (November 22, 2013)
Firefox: Version 1.2.5 (April 29, 2013)
Opera: Version 0.1 (September 7, 2013)
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)
A largely unfiltered list of the links that I send and receive each day with friends.
View your Pocket articles listed by reading time.