How We Migrated to HTTPS and Didn’t Miss a Beat