Update path to renamed doc
We renamed a doc in the related MR, so we need to update the path in the navbar.
Related to gitlab!74645 (merged)
We renamed a doc in the related MR, so we need to update the path in the navbar.
Related to gitlab!74645 (merged)