The Web Developer Extension for Firefox and Mozilla has been updated to v0.9.2. This update is primarily a bug-fix. The release notes are available here.