Hmm, so we could make everyone happy by using an numbered version plus a nickname (just like Ubunbtu does).