@davidrevoy oh I had no idea she was in SuperTuxKart! Makes sense with all game characters being open-source project mascots.