Access of play.crystal-lang.org

[beta-ziliani]

The Crystal team responsible for the site do not have control of carc.in, the direct redirect of play.crystal-lang.org. The work done by Jonne is great, but issues like #804 or similar might happen again, and we shouldn't depend on the availability of just one member, in particular one that is not even being paid for it. This can go two ways: either we get the sufficient credentials to be able to admin carc.in ourselves, or we set up a new instance.

If we set a new instance, it would be great to have access to carc.in db to be able to re-create the links.

cc/ @jhass

[mverzilli]

Have we managed to contact @jhass since? If not, we could consider setting up a new instance under playground.crystal-lang.org and removing any references to the old one from official channels.

That way we don't kill old links but route people to maintained infra