Owee, I'm MrMeeseeks, Look at me.

There seem to be a conflict, please backport manually. Here are approximate instructions:

1. Checkout backport branch and update it.

$ git checkout v3.1.x
$ git pull

2. Cherry pick the first parent branch of the this PR on top of the older branch:

$ git cherry-pick -m1 4130dabbc13a2ae9f29e13684018aac0a583dc79

3. You will likely have some merge/cherry-pick conflict here, fix them and commit:

$ git commit -am 'Backport PR #16125: Fix more missing references again.'

4. Push to a named branch :

git push YOURFORK v3.1.x:auto-backport-of-pr-16125-on-v3.1.x

5. Create a PR against branch v3.1.x, I would have named this PR:

"Backport PR #16125 on branch v3.1.x"

And apply the correct labels and milestones.

Congratulation you did some good work ! Hopefully your backport PR will be tested by the continuous integration and merged soon!

If these instruction are inaccurate, feel free to suggest an improvement.

Owee, I'm MrMeeseeks, Look at me.

There seem to be a conflict, please backport manually. Here are approximate instructions:

1. Checkout backport branch and update it.

$ git checkout v3.2.x
$ git pull

2. Cherry pick the first parent branch of the this PR on top of the older branch:

$ git cherry-pick -m1 4130dabbc13a2ae9f29e13684018aac0a583dc79

3. You will likely have some merge/cherry-pick conflict here, fix them and commit:

$ git commit -am 'Backport PR #16125: Fix more missing references again.'

4. Push to a named branch :

git push YOURFORK v3.2.x:auto-backport-of-pr-16125-on-v3.2.x

5. Create a PR against branch v3.2.x, I would have named this PR:

"Backport PR #16125 on branch v3.2.x"

And apply the correct labels and milestones.

Congratulation you did some good work ! Hopefully your backport PR will be tested by the continuous integration and merged soon!

If these instruction are inaccurate, feel free to suggest an improvement.

I think the point where we could reasonably backport documentation changes to 3.2 or 3.1 has passed because we've had too many documentation changes recently (which is a good thing!).