Bitfinex stolen Bitcoin has been refunded from the U.S. government as part of recovery efforts and plans to use these to redeem Recovery Right Tokens.