Edit :30, I didn't see a legit stop-run (probably that pop at 13:40-13:45 EST already got some people out). No run, no trade. Saw a mixed bag of orders in the last minutes, so I guess I was wrong in my hypothesis (yes, it fell twice, but most short orders seemed to simply have been following the...