Oui. Ce n’est un problème que si vous gérez des sites auxquels vous ne vous connectez pas. Pour les sites dont j’ai une clé API, je peux récupérer /admin/dashboard/problems.json et vérifier s’il contient mail-receiver.
Je suppose que cela ne deviendra un vrai problème que le jour où, dans un avenir mystérieux, la prise en charge de la clé API dans l’URL disparaîtra.
Il y a peu d’inconvénients à reconstruire le mail-receiver une fois de plus, d’ailleurs. Je ne devrais même pas essayer. 
Merci pour votre aide !
Edit : voici la réponse que je cherchais ! Update mail-receiver to the release version