Experimenting on an Eliom/Ocsigen collaborative rich text editor