Web-based real-time collaboration file editor