what happened to the airdrop coin distribution? Is this already sent out? Will we get it before the new year? I am eagerly waiting for the coins. Thanks.