Merge "add option to XML dump stubs of page ranges with explicit rev_id ordering"