Ah, yes, afaik there's no global menu extension for cinnamon. It would be nice if they could share at least that (their extensions). :/