title: Leaving a notedescription: An editor closes the tab. The room tells everyone still connected who is left.actors: [editor-a, editor-b]steps:  - { from: editor-a, to: note-room, label: the socket closes with the tab }  - { from: note-room, to: editor-b, label: "presence: only Heron is here now" }