An entirely-unimportant tangent: Was John Dvorak born in ‘46 or ‘52. Seeing conflicting info, with age 80 in the news but 74 on Wikipedia and other sources.