Re: [ANN] CRUX 2.4 released