play.jdcm.al shutting down

A few years ago I set up play.johnnydecimal.com as a 'playground' site. I intended to post less well-formed ideas there.

Well, I never did! Or not much. But it's still hanging around. Until today: I'm taking it down.

I hate breaking links, so the domain will always redirect to this post. And if there was something on that site that you did want to read:

1. You probably shouldn't, but
2. it's all at github.com/johnnydecimal/johnnydecimal-2020-play.

Let me know if you can't find what you're looking for.