Okay, the truth was that I was too lazy to come up with a name for her.  Backstage I called her Ottoette (since she was originally thought to be Otto the autopilot), and I eventually went with that name, but it always felt a little clunky.