Comment by bradfitz

The background is that we have some official spaces and some unofficial spaces.

I thought our subreddit was an official space that we created. It turns out we didn't create it, so it's not ours to delete.

I'm now proposing we just make it unofficial.