[PPL-devel] Recent changes to the main trunk