Real-time collaboration is more stable

Collaborative editing now reconnects more cleanly after a temporary interruption or an expired authentication step, which reduces unwanted disconnects while working together. Contributions also show clearer author labels, so it is easier to see who changed what.