Version 1.0.2 of the Web Developer extension has been released. This is a patch release containing a few minor bug fixes.