whois.opensrs.net is down

[bill]

Any idea when opensrs whois will be back up?

I'm trying to view contact information for domains that opensrs is the
registrar of record, but opensrs whois just times out (tried via whois
client and directly on the opensrs website).

-Bill

P.S. I am sending this to the mailing list because I will most likely get
a quicker response than sending it to support.