See this referenda for context. This proposal mints the remaining balances missing due to the failed XCM transfers.