Re: [PPL-devel] documentation and paper links