It is definitely an appmenu-gtk bug, however. The original description is accurate. This should be a one-liner to fix.
It is definitely an appmenu-gtk bug, however. The original description is accurate. This should be a one-liner to fix.