Justo AYER me armé de valor para actualizar por fin el firefox 5 y poner el 10, con la consiguiente pérdida de tiempo actualizando complementos, desactivando la comprobación de compatibilidad para los supuestamente incompatibles (que siguen funcionando perfectamente), desactivando algunas supuestas mejoras que me molestan (como resaltar el dominio en la barra de direcciones), actualizando el skin porque se desconfigura, etc, etc, y HOY sale ya el 11. Pues anda y que le den morcilla, hasta el firefox 20 no vuelvo a actualizar, pesaos.