I think it's nice for the players to know things that their characters don't.
I did exactly this with
my last post in Waterdeep Dragon Heist. I gave the urchin's name as Jenks in the avatar, even though the characters don't know the kid's name.
But some players will have met Jenks, Nat, and Squiddly in other games - so it's like a famous NPC cameo for players in the know.