GitLab PM for the Web IDE here. You're right! You can follow our progress in https://gitlab.com/groups/gitlab-org/-/epics/9466