It seems strange to me that there are no prominent Texas, US, cities listed in the database as implemented and evidenced in "Lightning", a Mozilla Thunderbird extension. I looked to see Austin, Dallas, Ft. Worth and Houston, but not one appears. Is there some animosity that is causing this, or is it simply a rather large omission?