I'd just like to say publicly that I've always appreciated the way Jeff has done things and hope to keep doing so in the future. I don't mind the dodgy release names, although quite frankly I've haven't understood a lot of the recent ones. I suspect I haven't watched the right movies.
I also agree with Jeff's solution , but not for the same reasons. It's a joke thats gone on way too long. It seemed fresh and witty when Linus parodied serious code-names like "Chicago" with the "Greased Weasel" kernels back in 1996. Eight years is definitely a tradition, if not an ingrained part of our culture, but maybe it's time for the tradition to be euthanised. After all, the good names have all been taken.