Admin message

Infrastructure upgrade is complete (go.epfl.ch/CHG0048479). Have a nice evening!