So when is John Carmack going to leave Facebook completely?