I just installed variety on my pop_os 18.4 and I can't get the variety menu to show on the panel. this happened to me before but I installed a shell extension and got it show up but I can't remember witch extension it was. does anyone know what extension i need to have menu button show on the panel?