PFL manual: several improvements