Was wondering this myself. RT @WendiAarons: Why are the flags half-mast in Austin today? Anyone?