I realize that as a number, 3.14 looks familiar to people, and I had
naming requests related to that. But that's simply not how the
nonsense kernel names work. You can console yourself with the fact
that the name doesn't actually show up anywhere, and nobody really
cares. So any pi-related name you make up will be *quite* as relevant
as the one in the main Makefile, so don't get depressed.
Besides, any self-respecting geek will know pi to twenty decimal
places from their dorky youth, so 3.14 isn't really *that* close, is
it?
