Change default because 100% of all users (i.e. me) use pin 7.