| If a page is edited (and saved) while a user is reading it, the reader is not informed that a new version of the page exists. Two options:
- show a refresh button when a new version is identified (through a websocket push event)
- propose a view of the current realtime session if it exists
|
