Garrett Treaty, what about MATE Tweak? Does it work? Is it debuggable? I can't reproduce the bug (on several installations): mate-menu with mate-tweak still both work.