Over this weekend, August 14-15, we will update one of the certificates used for email encryption on the
mail server. This change should be transparent to users.
