Eclipse Theia v1.42.0

Hi everyone :wave:,

The Eclipse Theia v1.42.0 release is scheduled for later today.
There is still time to merge any low-risk pull-request if necessary, and we will inform you when the release starts and completes.

The release will now start, we will inform you when it has completed.

The release has completed, thank you to everyone that contributed :+1:

News & Noteworthy: Eclipse Theia 1.42 Release: News and Noteworthy