Thanks for the $3.35M/$3.82M figures -- is this published officially anywhere? $3.6M was the latest figure I was able to find on your website: https://letsencr

Thanks for the $3.35M/$3.82M figures -- is this published officially anywhere? $3.6M was the latest figure I was able to find on your website: https://letsencrypt.org/2018/12/31/looking-forward-to-2019.html https://letsencrypt.org/2018/12/31/looking-forward-to-2019.h... The philanthropy-based funding model, coupled with the fact that this is now load-bearing Internet infrastructure, still makes me quite nervous, but I'm glad that you're able to sock away ~$500k for a rainy day.