Does anyone know the status of RC5-72? There is a message on distributed.net from back in May saying that "RSA Labs has decided to terminate the RSA Secret-Key Challenge," and "Although RSA Labs is halting their official sponsorship, there is still the option open to us to continue the project without their
prize or validation." But no news since then. Does anyone know the current status?