Dans le gestionnaire des extensions, le picto pointent vers une url de ksup.org qui n'est plus bonne : https://www.ksup.org/fr/telechargement/extensions-editeur/
Or ce lien n'existe plus. Il faudrait le modifier pour faire pointer vers le bon lien : https://www.ksup.org/produit/extensions/