Re: [ANN] CRUX 2.5-rc1 available