Add remote development developer docs menu item

Issue: Add developer documentation placeholder for rem... (gitlab#436591 - closed)

Add navigation item to global navigation

• Link to the merge request that introduced the new page: Add remote dev developer docs (gitlab!140642 - merged)
• Give the MR a descriptive title.
• Optional. Link to the review app showing the new page:

Screenshots

See screenshots on issue: gitlab#436591 (closed)