I haven't seen any reporting on that. Bitfinex, the corporate entity, is receiving the coins recovered from the feds. It's up to Bitfinex how they device to dole out those funds, if at all.
When these things happen, often times exchanges will make their customers whole by giving back the monetary value of the coins at time of loss. It's very rare they repay them 1:1 in bitcoin.
AFAIK the only crypto company who have been hacked (and there are a lot) and returned funds as BTC and not in dollars is, ironically, Mt. Gox. Users got repaid in Bitcoin 10 years after the fact. FTX bagholders were compensated ~120% in "equivalent value" dollars. Lost crypto was not repaid.
Apparently they created a token that entitles you to the lost bitcoin should they be recovered.
At the time the bitcoins were lost, they were worth ~$575 each.
Today those returned tokens are worth close to $100,0000 each.
I doubt anyone who was affected by that hack realized they just got involuntarily forced into the best investment of their lives.