A Housekeeping Update
A few months ago, we had to box up old comments. I am happy to announce that they have been unboxed and are likely to remain so.
Second, in the coming weeks we will be changing web-hosts again, hopefully for the last time for a while. There may be some minor disruptions.