Update path to renamed doc

Marcel Amiraultrequested to merge
update-navbar-supported-os-doc into main

We renamed a doc in the related MR, so we need to update the path in the navbar.

Related to gitlab!74645 (merged)

Merge request reports