Update notice

This is just to let everyone know that sometime in the next day or two we are rolling over to the new site format, which is not that different from the current one but which will (we hope) be more mobile-friendly. I’m hoping that there won’t be problems, but if there are, that’s what’s going on.