In my opinion, the solution to an overly-bent arm lies not where you might think (just before 9:00), but even further up the chain than that (like the 1:00 to 12:00 position). Personally, I think, given she has the tendency to bend too much (starting right after the ball passes directly over head), just have her focus on a straighter arm (BUT NOT LOCKED) over head. Make sure she still has the ball pointed toward the catcher when the ball is over head. Lead with the elbow over head, but don't let that arm bend very much.
Also, for me, I think she turns her push (right) foot too much going into her drive, starting out just a bit too open for me. While I think some turning of the foot is okay, I think she turns it too much. I like to see them staying more square to the catcher when they begin their push (drive out). If they have an explosive, square drive out at the start, they will automatically open. I think too often pitchers open as they initiate their stride. I see this as a loss of power. Javasource's Drive Mechanics thread is nothing short of exceptional in this regard.
One more thing... Notice how that glove arm dies while she's doing her back swing. I believe she should incorporate more of a punch with her glove, as if to punch out and bop the umpire on the head from above. Then, as the throwing arm goes down the back side, she should have symmetry in her adduction. That is, that glove arm elbow (and entire glove arm) should adduct in sync with the throwing arm (i.e., both elbows should suck into the sides of the torso. Of course, the elbows will be pulling the hands down toward the thighs.
A couple things I did when we were working on these two things... I got some props. An ankle brace and a elbow brace. It draws focus to the points.