Agreed but this is an important security fix and people should know about it, otherwise in an ideal world (ideal but for the lack of any announcement), everyone would have preventively withdrawn their coins and the exchange would grind to a halt.

Anyway thanks for the confirmation that it's ok.

Full disclosure: I'm angry because I closed a short in order to withdraw, missing on the last downwards move .