Comment 9 for bug 875070

So, the linked gnome bug has this to say:

"I found a posted workaround that seams to have fixed the problem: sudo apt-get remove appmenu-gtk3 appmenu-gtk appmenu-qt"

followed up with: "Alright, if that makes the bug disappear, it's NOTGNOME. The ubuntu 'global menu' stuff is NOT supported; removing it is the right thing to do!"

So... is this going to be a case of both teams pointing at each other, or is there someone that supports the appmenu/gnome-terminal integration that can track this down and definitively determine who needs to fix it?