This is not that, actually. Arcade City became OpenAgents, founded by nostr:npub1tlv67m7xvlyplzexuynmfpguvyet0sjffce3y8vu0suuyuwgzauqjk7fdm. Bullish on those guys.