My wife, non EU citizen, is the holder of a EEA family member British residence card. We both live in the UK, Irish citizen myself. She recently renewed her passport, and changed her surname to be the same as mine. Her residence card still has her maiden name. I'm struggling to find online if she is...