I think A9 still exists as a search subsidiary, it's just that the consumer-facing portions were discontinued. A lot of A9 alumni now hold leadership positions in Google Search.