They are probably still investigating what exactly happened with that user before going public.
I mean, it's already pretty public, but yeah, the devs are still investigating the issue with the user in question:
https://www.reddit.com/r/ledgerwallet/comments/awyj7m/there_is_a_bug_in_your_monero_wallet_i_may_ahve/ehseyqe/?context=3He is in contact with me and notified me that my case is his number one priority till it's fixed.
There is another reddit thread that popped up
here which seems to suggest the bug is only when using version 1.1.x of the Ledger app, with several users reporting no issues when using older versions. So it does seem to be a Ledger issue rather than a Monero issue. Advice remains the same: don't touch your Monero until this is resolved.