Eclipse Theia v1.20.0 Release

Hi everyone :wave:

The Eclipse Theia v1.20.0 release is scheduled for later today, there is still time to merge low-risk pull-requests if necessary.

We will inform you when the release starts.

The release has now started, please do not merge any pull-requests at this time.
We will reply when the release has completed :+1:

The release is now complete, thank you to everyone who helped contribute :rocket: