Push server *may* skip version notifications

The current text assumes that push servers will only send the latest
notification version, but this is an unnecessary assumption.