Is the grandparent comment otherwise correct, besides the name?
There could be other causes. It's hard to untangle whether BitFinex caused the other exchanges to drop, or if it just dropped faster due to margin but had no real effect on the other exchanges.