Registration token issuer for #10.