[tei-council] is tei-c down?

Hi all - we are at the Dixit workshop in Athens, and it appears that tei-c is inaccessible from our classroom, also from my Brown VPN. Roma, too. Is it just us? did I miss a scheduled downtime message? just checking, and thank you. --elli