[mirimir]

Right. And furthermore, if they could be taken down, that's a bug, and it ought to be fixed. As I understand it, they're already somewhat decentralized, and it wouldn't be a huge stretch to become fully decentralized.