Sì. È un problema solo se gestisci siti a cui non accedi con il login. Per i siti per cui ho una chiave API, posso recuperare /admin/dashboard/problems.json e verificare se contiene mail-receiver.
Immagino che questo non diventerà un vero problema fino al giorno, nel Misterioso Futuro, in cui il supporto per la chiave API nell’URL verrà rimosso.
Non ci sono quasi svantaggi nel ricostruire il mail-receiver un’ulteriore volta. Probabilmente non dovrei nemmeno provarci. 
Grazie per il tuo aiuto!
Modifica: ecco la risposta che stavo cercando! Update mail-receiver to the release version