By using the backend service of the developer of Tiptap, it is possible to easily introduce a collaborative editing function, so I tried building an editor that can actually be edited collaboratively.