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)

Web Developer

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)

User Agent Switcher

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.