I didn't realize Scott Chacon was a founder of Github. Did they all cash out equally?