We’ve moved!

Dear all, the site has moved… there (follow the link). Sorry for the inconvenience.

If you had subscribed before Monday, November 27th, 2023, 15h UTC+1, then you are still subscribed on the new site, and you have nothing else to do.