Merge branch 'jc/maint-rev-list-topo-doc'