Minor update to correct navigation link for Developers portal
Checking pipeline status.
Merge details
merged
mentioned in commit 4ef55a89