vscodeにもプラグインを入れると共同編集機能が追加できたりするので、共同編集機能ってどうやって実装するのかなと思って調べてみたらYjsというのを使うと実装できるらしい。ちなみにPusherというサービスを使ってもできるみたい。調べてみると色々作り方がわかるもんなんだなー。