It was &#x2F;dev&#x2F;finance, which became Stripe.<p>(This was sort of funny years later, when I was sorting through my stock certificates.  I momentarily forgot that Stripe was originally called something else, and put that stock cert in the &quot;lost cause&quot; pile.)