added ugly h3 to the toolbar to indicate how many users are editing the document. It pings the backend every 30 seconds