Added: List of users that currently edit the same article as you do (uses WebSockets).