Eclipse Theia v1.24.0 Release

Hi everyone!

The Eclipse Theia v1.24.0 release is scheduled for later today, there is still time to merge and low risk pull-requests if necessary. We will inform you once the release starts.

The release is now ongoing, we will inform everyone when it has completed.

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