ANS launch: how to mint your new permanent identity