Show if other users are currently in the document

[frblo]

It would be helpful (and fun) to see if there are other users online in the current document. This is incredibly low priority but most likely not that hard to implement. Depends on #2.