I am very sad to announce that Mike Warfield passed away last week. As I learn more about a memorial service, I'll update. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.ale.org/pipermail/ale/attachments/20230411/cc51b040/attachment.htm>