notmuchmail.org down - any contact to reach out to?

I just noticed that [notmuchmail.org/](https://notmuchmail.org/) is down as of right now. All the contacts are on the website and so I am not sure where to reach out to. I assume admins are aware but in case they are not - anyone can poke them? :-)

It's up here.

Bah, yeah. Now it is... When I was looking I used a few services to verify it wasn't just me...