Theia 0.9.0 later today

#1

Heads-up: I plan to go ahead with the 0.9.0 release later today, in ~6 hours. So there is still time to merge low-risk PRs.

[original thread by Marc Dumais]

#2

I am starting the release - please hold-off merging in main repo until I am done

#3

Ok, all done. Thanks to all who contributed to this release.