https://extensions.gnome.org/extension/1160/dash-to-panel/
https://gitlab.com/arcmenu-team/Arc-Menu