Eclipse Theia v1.31.0

Hi everyone :wave:,

The Eclipse Theia v1.31.0 release is scheduled for later today!
We will inform you when the release starts and completes.

The release has now started, please do not merge any pull-requests at this time.
We will inform you when the release completes.

The release is now complete, thank you to everyone who contributed :+1:

Release announcement: Eclipse Theia 1.31.1 Release: News and Noteworthy - EclipseSource