Eclipse Theia v1.40.0 Release

Hi everyone :wave:,

A friendly reminder that the Eclipse Theia v1.40.0 release is scheduled for later today.
There is still time to resolve/merge any low risk pull-requests before the release if necessary.

We will post an update when the release starts, and completes.

The release will now start, we will comment again when it is complete.

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

Release announcement: Eclipse Theia 1.40 Release: News and Noteworthy