[ANN]: CRUX 3.0-rc1 available