Modifier le lien du gestionnaire des extension pointant vers ksup.org

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/