Re: [PD-dev] New flext: pool crashes