This is not that, actually. Arcade City became OpenAgents, founded by @Christopher David. Bullish on those guys.