If the movie hero in the Matrix was a woman, would she have been called, “Ingrid”?

Move Matrix Pun

Matrix Redefined:  April Fool’s Day one month later is “May-Tricks”.

Thought??  What if Hitler was cast for the movie, “The Matrix” instead of Keanu Reeves?  The movie would have been pretty “Neo-Nazi”.