I’ve just realized that the publisher name is displayed in the snap description, and I did use a personal account rather than a more institutional one (which I just created) to register a snap.
Would it be possible to update the publisher of the coq-prover snap from enricotassi to coq-team ?
Best regards,