Play.lczero.org is still down

[nharan]

Is there a problem with the servers?

[cmzeno]

I wonder if there is anyone doing something about it already. I find it quite surprising that it is not yet official. It would be really nice if someone told us what is going on, so we can at least follow the progress of fixing this issue. Thanks, Zeno