On 8 April 2016 at 09:46, Jon Binney via ros-users <ros-users@lists.ros.org> wrote:
+1 lunar loggerhead, mainly because "lunar" is easy to type quickly!

Even quicker would be: Lava
Plus there is a Leopard tortoise, which would also be a good basis for a cool logo.

So, throwing in another suggestion: Lava Leopard