Ethereum’s Buterin wishes Tezos well, despite previous criticism