Re: hedging our bets -- in case SHA-256 turns out to be insecure