Yes, it fixes the menu problem but causes an other one: the customizer gets broken on some occasion when accessing it IF GPP is turned off in WPT compatibility. When that happens the customizer doesn’t load at all, instead it returns a blank page with just the HTML and HEAD tags in it.
So for now, all is good for me, since Menu Plus can be turned off on it’s own and so being, GPP can remain activated in WPT.
Jaakko Pöntinen / Mainio Mooses sp.
WordPress / WooCommerce development