@feld @jerry @wonkothesane It would have worse had circuit breakers not been tripped to pause trading