Release Theia v0.16.1

Hi,
We plan to proceed with the release shortly (~15-30 minutes from now). This is a fix to revert a PR having some issues.
We’ll post here to let you know when we start

[original thread by Jacques Bouthillier]