Github user r-kamath commented on the issue:
https://github.com/apache/zeppelin/pull/2848
@Savalek Thanks for this new feature. IMHO it will be nice to have an
option to turn on/off the collaborative mode and a way to show the number of
users collaborating.
something like <img width="72" alt="users"
src="https://user-images.githubusercontent.com/2031306/39687878-e8700a46-51ed-11e8-846a-842238b7d8d8.png">
with a proper tooltip. ---
