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

Signed-off-by: Stephanos Ioannidis <root@stephanos.io>