[PPL-devel] ppl/doc ppl-config.1