Collaborative Document Editing with Multiple Users and AI Agents