I am just curious? Obviously after the name change, there is a need to download a new wallet that has the new name, since today's wallet still has the name Doubloon. How, once the change is complete, can we transfer the coins from old name wallet to new name wallet?