Fifteen months ago, I predicted 2017 would be “the best year for tech IPOs since the dot-com heyday almost two decades ago.” Well, that was not exactly what happened.