* docs/caml-formats.pdf: