That makes sense. But the text does not require events to be deleted. It says:
> for kind n such that 10000 <= n < 20000 || n == 0 || n == 3, events are replaceable, which means that, for each combination of pubkey and kind, only the latest event MUST be stored by relays, older versions MAY be discarded.
Which basically says that both pruning and deletion are acceptable implementations. Do you think the text should push more clearly for pruning?
We could change to this:
> for kind n such that 10000 <= n < 20000 || n == 0 || n == 3, events are replaceable, which means that, for each combination of pubkey and kind, the latest event MUST be stored and previous versions SHOULD be stored. Past versions MAY be pruned.
Basically the same thing, but adding a preference for pruning.