[PPL-devel] Problems with the ppl-devel mailing list