Despite having 4 of the 10 largest cities in the US, no Texas (or other Southern) city rates a listing in the zoneinfo file, so we're stuck having to pick Chicago, which is so far away (~1000 miles from Austin, in the middle of the state), that many people in the Southern US aren't necessarily certain what timezone Chicago is even in.
(The #10 slot varies according to source, but in general, Houston #4, San Antonio #7, Dallas #9, Austin #10. Fort Worth is nearly tied with Austin. Some sources claim Jacksonville, FL is #10, but they must be wrong...) :-)
(The #10 slot varies according to source, but in general, Houston #4, San Antonio #7, Dallas #9, Austin #10. Fort Worth is nearly tied with Austin. Some sources claim Jacksonville, FL is #10, but they must be wrong...) :-)