A repository used to showcase how to implement such an editor using Eliom and Ocsigen