They are probably talking about Vanced which was before ReVanced. Vanced got popular so Google killed it. Up popped ReVanced shortly later.