What about revisions that share the same timestamp? Are they sorted first by timestamp and then by rev_id?