I heard about him at least a couple of times a month for twenty years. To me - and everyone else - it's as if we know him. I'd never heard about the other people until yesterday - and my reaction to them is going to be less because "I didn't know them."
Mourning is a personal thing - there's no right or wrong if the pain you feel is genuine.