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