Knuth on Huang's Sensitivity Proof: “I've got the proof down to one page” [pdf]