L’extension n’est pas encore disponible en v1.7.13. Mozilla a changé sa manière de signer les livraisons (web-ext) et je n’ai pas encore regardé comment faire avec la nouvelle API (via nodejs)
A noter également que le site web de Cesium n’est pas encore à jour, car il restait un soucis de déploiement de la version de bureau, sous Linux. Mais c’est réglé maintenant 
.
Reste donc cette histoire de signature de l’extension Mozilla…