Return to GitLab from the Web IDE

Description

Let's use this issue to discuss and implement how the user may want to exit the new Web IDE, especially considering that we'll be removing the top nav bar (see relevant MR).

Related to https://gitlab.com/gitlab-org/gitlab-web-ide/-/issues/25#note_1068361739

Proposal

TBD

Prior art