I'm pretty sure we did the card sort before we went into even closed beta, but honestly, it's been like eight years (goddamn) and I can't remember what I did last week, much less eight years ago...

(Actually, now that I think about it: we did another card sort later on, for the account settings tabs, in hopes of figuring out a better way to organize them. (Turned out that no, there was zero agreement.) You might be thinking of that.)

Anyway, the service we used is still around; Optimal Sort.