A private and secure real-time collaborative text editor