Does Google contact developers before taking down their extensions?