¹Re-compile the documentation with make include-allprose-documenation dvi in order to see the documentation of ALLPROSE or (to exclude the documentation of ALLPROSE) avoid to put ∖IncludeALLPROSEDocumentationtrue into local.sty. You can do the latter by re-compiling the documentation via make rm-local.sty dvi.