See when people are in the live editor

The live editor is a quick way to get on the same page with shared code or notes. Now, when someone opens it, it opens for everyone else. Also, the button to access it indicates how many people are editing.