Yes, and they seem to be including the recovered 60K bitcoin from the Bitfinex hack which some "officials" have said they are to give back.