Version 1.0.22

Improvements to the collaborative online editor 🌟

4 August 2020