Change PINs

PINs are 4 to 8 digits. Changing a PIN signs out every device that used the old one.