Will you please see if there are any emails that go to Elias Pipping pipping.elias@icloud.com from any mailing lists at common-lisp.net?
Possible alternative address elias.pipping@fu-berlin.de
Elias died some time ago and I have heard from his mother that he still gets emails, and she would like them cut off.
Ideally, it would also be good if he could be removed from any gitlab watch lists, etc., as well (Elias Pipping, @epipping) Maybe you could just blacklist his address from outgoing mail?
Thank you, Robert