gitlab-ce/doc/development/remote_development/_index.md

stage	group	info	title
Create	Web IDE	Any user with at least the Maintainer role can merge updates to this content. For details, see https://docs.gitlab.com/development/development_processes/#development-guidelines-review.	Remote Development developer guidelines

Introduced in GitLab 16.0.

Workspaces feature developer documentation

Currently, the majority of the developer documentation for the Remote Development Workspaces feature is located in the separate gitlab-remote-development-docs project.

Parts of that documentation will eventually be migrated here.