Happy New Year!
Added 2023-01-03 14:03:12 +0000 UTCAll the best for 2023, everybody! I'll keep my message short and practical for once: as you know I had to do some serious reorganising last month, which also involved restructuring the mailing lists. I think I got everything right, but if in the coming weeks you notice you've not received something you were entitled to, please let me know!
Also, since I had to work during New Year's, I'll be taking a short holiday from Wednesday until the end of this week. Please wait for an answer until I get back if you're contacting me in the meantime.
Thank you for all your support throughout the last year and let's hope things get better in the next one!
