It appears to have taken San Jose’s place, from a combination of San Jose shrinking and Fort Worth growing.