No one even remembers what the previous release was called. I can't personally remember ever using the release name. the customers don't care and internally it's more clear to ask "Did you upgrade your development environment from 7.1.1 to 7.1.2 already" than using release names. But if release names are used, I prefer terms that have a natural order that are clear without googling (i.e insect development vs cyclopes)

But on the upside, the project must be going really well if the developers have time to philosophize over the release name! ;-)