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