Yeah, to be honest I put some of my mining rewards into Tezos for the same reason I put some in Cardano (both trying to do much the same thing), but it just turned out (thus far) Tezos happened to be the big performer whereas Cardano is mostly flat from where I bought much of it. Long term I expect good things from both though, so I'm holding on and baking & staking.