Supports the provision of an optimal lightweight version for use by experienced developers

[zhouxinghong]

Feature Description:

Supports the provision of an optimal lightweight version for use by experienced developers

Hello! Please support the provision of an optimal lightweight version without any default extensions (like VSCode) for experienced developers, as this would have the advantage of minimizing the size of Theia to save disk space and network download traffic, and developers would only need to install their own extensions on-demand or according to the documentation of the programming language.
Another benefit is that it makes it easier to track down IDE or extension compatibility issues.