Her name is Jeanie though, which I’d pronounce differently to Jenny… unless it’s one of those awful new age spellings of a classic name.

Fwiw Jennifer is a fine name and people can figure out the best way to shorten it for their circumstances. Maybe living in a rural community with a lot of donkeys would affect it.