Re: [ANN] CRUX 2.5-rc2 available now