Глобальное меню приложений в Ubuntu 18.10 / 19.04

Я бы очень хотел переместить меню приложений на верхнюю панель.
В Ubuntu 18.04 это было очень легко сделать, используя Глобальное расширение меню приложения Gnome .
К сожалению, это расширение не поддерживалось в течение некоторого времени, и оно не работает в Ubuntu 18.10 или 19.04.

У кого-нибудь есть решение для этого, которое работает в 18.10 и 19.04 (или, по крайней мере, для последнего)?