Theia 0.8.0 later today


I plan to go ahead with the June release in ~6-8h, so there is still time to merge low-risk PRs before then.

[original thread by Marc Dumais]

I am getting started; please do not merge anything until I am done

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