Renew PROD SSL certificate

• Renew certificate with certbot sudo certbot certonly --manual
• In certbot configuration, type the PROD domain names without the protocol part: nb.mit.edu nb2.mit.edu nb2.csail.mit.edu
• When asked "Are you ok with your IP being logged?", type Y then ENTER
• Open a new connection to the server on a new terminal, don't close the previous one
• In the new terminal, navigate to ~/nb/public/.wil-known/acme-challenge, create an empty file and name it as instructed from the certbot in the first terminal, then paste the challenge from the certbot into this file (Press ENTER in the first terminal, and repeat for each domain)
• Restart nb, cd nb then sudo pm2 reload cluster.json --env production