Pass shutdown reason argument to listeners
Properly load/unload global stylesheet (theme)
#177 Firebug.next theme is not compatible with DevEd Dark Theme
Open the toolbox after Firebug installation