Folks, we have been through two disruptive rounds of server migration. We hope that things will run smoothly now, but we don’t really know. If you posted a comment within the last 24 hours it was probably lost during the migration, even if the system seemed to accept it. Sorry about that. Please repost if you are so inclined.