Discord Must Verify Texas Users' Age Under Judge's Ruling