Its not a real critical feature, but it would be nice if future versions provide the possibility to change the USER-PIN of a token. Thank you!