On Tuesday, the Baseball Writers’ Association of America made official what baseball fans have known for years — Randy Johnson is a Hall of Famer.