Gitpod has changed its default editor

If you were used to the previous Gitpod editor (Theia) and now you are a lost (they have changed to VS Code) please remember that you can change that in your gitpod settings: