Did The Texas ESG Ban Have Any Bite?

I tried to cross-tally the list of funds and companies banned by the Texas Comptroller with the publicly available holdings of Texan state pension funds. I found little overlap. I wonder whether the banned list was even meant to bite.