I hadn't heard about this, how terrible. It sucks to give in to the attackers, but 20 BTC seems like a small price to pay compared to rebuilding from scratch.
One interesting bit toward the end of this article indicates the royal family has paid ransomware attackers too.
https://web.archive.org/web/20240412005905/https://www.newyo...