Looks like @cryptoforall hasn't received any replies!