On Thu, Apr 7, 2016 at 11:25 AM, Devon Ash wrote: > Do we have to always use a turtle? To be honest, I'm bored of it. I'm > suggesting a Lion. > > Leonardo Lion! Well, turtles are a long-standing tradition. I could see giving that up at some point, but not with the letter "L", which begins so many lovely turtle names. -- joq