One of Ad Tech’s Biggest Names Is Gone. What Has the Industry Learned?