Andrea Veri commented:
This should have been fixed by password-resets@352e8053. Thanks for reporting!