You may have noticed some intermittent downtime yesterday evening. Our old web host (hostgator) had 17 hours of downtime. Needless to say we, promptly moved everything off our servers there, and have migrated to our new host at Digital Ocean.
With the new server we will have an increase in speed, server capacity, and–of course–reliability.
Please forgive our sawdust as we make this transition as smooth as possible. Please let us know if you notice anything out of the ordinary. Thanks!