Theia 0.8.0 later today

#1

Hi,

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]

#2

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

#3

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