(That was in 2020, as of iOS 13 IIRC. It’d be interesting how much of that works against the current iOS 17, and whether Zerodium simply had cashflow issues at the time.)