Right, I just realised the GitLab Web IDE is running fully in the browser, so there is no Terminal. Maybe they are considering a later version which is more like Codespaces, letting you develop and run your code, keeping the browser as the user interface.