Hard fork Ethereum: all the details