A very unfortunate incident, but there are bound to be mistakes made when there are tens of thousands of developers and over six million questions. Eventually,

A very unfortunate incident, but there are bound to be mistakes made when there are tens of thousands of developers and over six million questions. Eventually, bugs are going to appear. The kind of dumb mistakes that developers (and other humans) make all the time. That doesn't make the error any less painful. Stuff happens.