[evilneanderthal]

I think the point was to be pretentious to the point of irony, which the namedropping achieved.

[jacobolus]

Yes. My point was only that not knowing the names so dropped doesn’t actually diminish the story, because they didn’t really have any deeper significance.