Looks like @crypto-team hasn't received any replies!