To enable users to share and use the extension together, it would be a significant upgrade to support collaboration on `.jpblockly` documents.