I think delete should increment version number.

It shouldn't matter theoretically, but I bet we could create a bug
somehow if it stays the same. It also just feels better.