ARCHIVED november 2023. Now part of shared infrastructure project

Project that allows us to use Certbot and Route53 to generate SSL certificates without the server needing to have been switched over yet.