Google search chief Singhal to quit, to be replaced by AI head

Disappointing headline--no robot revolutions to be seen here.