Rated 5 out of 5 stars

Like to others Gmail Manager is essential to me, and I want to thank you all for your efforts.
The solution at https://github.com/downloads/athomas/mozilla-firefox-addons/gmail_manager-0.6.4.1.3-fx+sm.xpi works perfectly.
Also thanks to those of you that gave answers to us who might have been skeptical.