SSL is broken #5
Description
It's 2018, we should fix that https://www.ece3sat.com/ (and we already have the cert thanks to Github).
Issue is probably here https://github.com/ECE3SAT/ece3sat.github.io/blob/dev/config.toml#L2
{{ message }}