I just wanted to let folks know that as of July 6th we have moved to a new web host. We had several times in the last week where the site went offline for no good reason, and in one case it stayed offline for more than five hours. That is unacceptable. If you are reading this, that means you are seeing the new host. If you saw a maintenance page earlier, that was during the transition period.

If you notice any issues, please let me know.