How much should World Series performances be factored into Hall of Fame voting?