OpenSRS WHOIS is down

[bill]

FYI, OpenSRS WHOIS is down in case anyone is interested...

I have tried accessing it from three different net connections (two west
coast, one east coast U.S.) and directly on the opensrs.org website.