topmenu.mozilla@javispedro.com 0.2 2 true {ec8030f7-c20a-464f-9b0e-13a3a9e97384} 24.0 39.* {3550f703-e582-4d05-9a08-453d09bdfdc6} 24.0 39.* zotero@chnm.gmu.edu 2.1a1 4.0.* TopMenu bridge Moves the Firefox menubar to the TopMenu applet javispedro https://git.javispedro.com/cgit/topmenu-gtk.git/about/