On Mon, 2023-12-04 at 08:00 -0400, Joshua C. Colp wrote: > To that end, we’ve decided to discontinue the mailing lists effective > February 1st, 2024. That's a very sad news! :-(