MintMenu as the default GNOME menu

What do you think of using MintMenu instead of your current desktop menu, I think it's more powerful.