Update to add:
I found the user was still in the WordPress User List, so I figured she did not delete her WP user account. I instantiated a new household/person with her info, and associated her WP account with it. Hopefully that’ll fix it.
However, this seems like an easy mistake to make.
Alan