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