Hoy se revelaron los sobrenombres de algunos de los personajes espiados con el software, en el sexenio pasado