Texas has banned the use of DeepSeek, RedNote, Lemon8, and a few Chinese stock-trading apps from government devices.