Don Knuth Finally Sells Out