Only looked at Configurable Menu until now, but to be honest I really like the default Mint menu. I'll give it a try, thanks for the hint.