No matches were found for subject:"\[Bug 767966\] Re\: globalmenu extension pollutes main window javascript scope"