Make sure we describe the importance of introduce replay detection accurately

See analysis at arti#725 (comment 2960032)

If this is right, we should mention it in the spec.