Not seeing Ten31 named in any of the filings. Were y'all an LP in one of the other entities that are / were beneficial owners?
Congrats to all involved, especially nostr:npub10cxz2h7n6rumfpuf49zt4uvm7skzqk5u25vesp0tzdtnkvsnwjyqaffcj3, that's an awesome exit.