Inform readers of a page when a new version is created

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:

1. show a refresh button when a new version is identified (through a websocket push event)
2. propose a view of the current realtime session if it exists