In any case, this is a old FUD. I hope the users finally get their coins back, and if they dump them, better to do it now, when we are in a bear market, than later, after the next halving. Then the market will get rid of this fear that is around for 8 years already.
And may this be a lesson for the dumb people who let all their coins in exchanges, instead of adopting it in their own devices.