CRATE is a real-time distributed CollaboRATive Editor