Lessons learned from creating a real-time collaborative rich-text editor