Clarify on commenting here
Don't let user enable/disable plug-ins when halo is open
s/Plug-in/Extension
For map based plug-in, use map name for update notice. Untested.