v0.9.4

Screenshots

New workspace creation UI:

Features

• Redesigned workspace creation UI
• We now use workspace name instead of ID for plan file storage

Fixes

• Variety of bug-fixes, notably including restoration of "?" tooltips