This commit updates the references to the documentation pages that were
relocated in the PR #41154.

Signed-off-by: Stephanos Ioannidis <[email protected]>