On Fri, Apr 18, 2014 at 8:08 AM, Georg Heppner <heppner@fzi.de> wrote:

> +1 for Jade
> Could also make nice logos of jade turtle figurines.
>

Also it should make everyone happy! The Star Wars nerds can call it ROS
*Mara* Jade if they want...

-j