The web site of Chris Pederick and the Web Developer and User Agent Switcher browser extensions.
A browser extension that adds various web developer tools to a browser.
Version 0.5 (August 2nd, 2017)
Version 2.0.1 (November 15th, 2017)
Version 0.2.2 (February 15th, 2017)
View your Pocket articles listed by reading time and automatically add reading time tags to those articles.
May 9th, 2018