Theia - Getting Started Extension
The extension provides a getting started
page to users when opening Theia without a workspace. It provides useful commands for opening new or recent workspaces, commands to update user settings, and other helpful links.