John Carmack Leaves id Software And Thanks Notch