Grazie, flod, della risposta. Sei sempre un grande.
Però non mi piace questa novità perché ora i temi in .XPI hanno un nome in codice, mentre prima quelli in .JAR avevano un nome proprio che li identificava subito.
Proverò a controllare su Mozilla Add-Ons se è così per tutti i temi o se sono incappato io in un tema dal nome così astruso.