I have just released version 0.9.3 of the Web Developer extension. There are a number of fixes—listed in the history—as well as the addition of the same support for update notifications that was added to the last release of the User Agent Switcher extension.

I now plan on working on the 1.0 release and I will be updating the to-do list as I make progress.