Wasn't Ingress an augmented-reality social network? It's been around for years.