I wouldn't mind if this page: https://www.postgresql.org/community/contributors/
contained a link to (contributors v11):https://www.postgresql.org/docs/11/static/release-11.html#id-1.11.6.5.6
and to (contributors v10)https://www.postgresql.org/docs/current/static/release-11.html#id-1.11.6.5.6
In fact, I think I would like it. I hope you agree. thanks, Erik Rijkers