Hi, There's supposed to be a button or a keybinding or a terminal command to bring up the functionality of the extension? I have it installed on Ubuntu 19.10 eoan (Gnome 3.34.2).