I have released new versions of both the User Agent Switcher and Web Developer extensions.

User Agent Switcher 0.6.2 fixes a bug where the menu was not checked when the vendor or vendor sub settings were overwritten with the default values.

Web Developer 0.9.2 contains a number of bug fixes including those from the unannounced 0.9.1 release—the history lists all the changes. This release fixes all the major issues discovered in the 0.9 release and will now be put on Mozilla Update.