Ros-users unsubscribe function broken

The password reminder email did eventually turn up. I was able to log in and unsubscribe that way. The mails that were meant to be sent when the unsubscribe button was pushed (without logging in) still haven’t arrived, so I think they are either lost or were not sent.