Merge branch 'jl/maint-pull-tags-doc' into maint