Sim. Isso só é um problema se você estiver gerenciando sites nos quais não faz login. Para sites para os quais tenho uma chave de API, posso acessar /admin/dashboard/problems.json e verificar se contém mail-receiver.
Presumo que isso não será um problema real até o dia, no Futuro Misterioso, em que o suporte a chaves de API na URL for removido.
Há pouco risco em reconstruir o mail-receiver mais uma vez. Provavelmente nem deveria nem tentar. 
Obrigado pela ajuda!
Edição: aqui está a resposta que eu estava procurando! Update mail-receiver to the release version