Add a note on compiling .eliom files with 3rd-party syntax extensions