Unfortunately, we don't have that information right now. We could try to find out. It just wasn't part of the compensation data that the people on Hacker News had posted.