Though I think we've argued this enough, I'll at least reply to say that neither delete nor edit are actually undos. They allow me to repair, but they don't (ne

Though I think we've argued this enough, I'll at least reply to say that neither delete nor edit are actually undos. They allow me to repair, but they don't (necessarily) return me/the server to the previous state.