* pluginDebug.ml:
* docs/docs.txt:
* docs/caml-instructions.pdf: