Acabo de instalar Firefox 22 a través de PPA, y durante la instalación noté que también se incluía la versión 22 del complemento de integración de la barra de menú global, pero cuando inicio Firefox no puedo localizar el complemento para deshabilitarlo. En la versión 21 estaba allí, y lo desactivé porque no me gusta tener los menús en la barra de menús, sino que tengo el botón de Firefox junto a las pestañas.
Busqué una respuesta, pero no encontré nada más probable porque la versión 22 acaba de salir. Eliminé el complemento a través del comando de purga del terminal, y se completó con éxito, pero después de reiniciar los menús todavía están en la barra de menús. También eliminé completamente Firefox a través de Synaptic, instalé la versión del Centro de software y pude deshabilitar el complemento como antes, así que volví a descargar 22, pero nuevamente no se encuentra.
Luego busqué el complemento para ver si estaba instalado, y lo estaba, pero no es visible dentro del complemento. Me di cuenta de que en la página PPA de integración de la barra de menú global se indica que a partir de la versión 22 ya no es compatible, así que estoy confundido. ¿Cómo elimino este complemento para recuperar el botón de Firefox por las pestañas, o para que pueda deshabilitarlo en la página del complemento dentro de Firefox?