Eclipse ESCET website is down

https://eclipse.dev/escet doesn't work:

I see at https://www.eclipsestatus.io there was an incident:

But, that seems to be solved, and the Eclipse ESCET website is still down.