[tuveson]

It’s all fun and games until you have to be like “blastoise deleted our database backups”

[necovek]

Well if they used coq, maybe it would not have happened!