v0.10.20

A small release that fixes the workspace chooser.

Fixed

• The workspace chooser works correctly again.