v0.7.20

Discovery is faster, and this release includes small visual fixes.

Changed

• Workspace discovery is faster.