The woman we’re calling “Jenny” is, apparently, a Chicago-based theater actor. No doubt, she’s very talented - but she’s not a “name.” For Jimmy (or even Jenny) Olsen, I suspect they would have cast someone better known. Ergo, she’s not Jenny.
Just a theory.
