> I generally don't expect to see the politics of a random city in the U.S. here

This regularly happens on HN for SF, LA, NYC, Seattle, etc. Austin is pretty in line with those for the reasoning you suggested.