Actually she was not in the Animatrix film itself. Actually, I could swear she's a minor character in "The Last Flight...", one of the pilots if I remember correctly. Only she has long braided red hair instead of black hair.

My store