Hi Martin,
Congrats! Great news for ubuntu mate future!
With GTK3+ switching and new tecnologies, ubuntu mate will be the best ubuntu flavour.
For the MATE Menu and GNOME Main Menu problems, why don’t adopt an Advanced Menu based on a tweaked version of Panther Launcher from Rastersoft? It’s a modern and fast menu forked from Slingshot Launcher.
Thank you!