What Do Developers Think About Web3?