User blog comment:Trigger Happy the Gremlin/What Happened to The Ingrids?/@comment-26405903-20180227042826

Looks like a hard typo to make, so the name could have easily been passed wrong to the people typing this. If it were really a name change entirely, they would need to go back and revoice any mention of the name "Ingrids".