Please note! We got out in front of the rush to revoke/reissue SSL certificates right away, the day the bug was announced, so we’re not vulnerable to the problem described in the Washington Post article.