Those files have been moved here because for unknown reasons they do not
parse with the MoveOnSui parser generated by js_of_ocaml.
