This actually should already be accounted for, since the starting value in circulation is considered to be the total tokens listed in the Ethereum contract for AE. So unless there were newly created tokens that did not come from the contract there are all accounted for.
Yes, of course… Brain in vacation mode, nothing to see 