Potentially, I just remember from having fought with this late last week with the GWT Developer one, which was called the "GWT Developer Tools Plugin", and I ca

Potentially, I just remember from having fought with this late last week with the GWT Developer one, which was called the "GWT Developer Tools Plugin", and I can't ever remember what Firefox calls a Plugin vs. Extension vs. Add-On.