We're not planning to do anything with Tezos at the moment, but I don't want to rule anything out for the future. It takes a lot of effort to connect new blockchains to the system, so we have to be strategic & prioritize accordingly, doing what makes the most sense with limited resources. But thanks for the idea, we'll keep it in mind.