I personally vouch that this isn't fake. (But anyone familiar with Alan's work could tell that just from reading his comments here—who could possibly fake these?)
We detached this comment from https://news.ycombinator.com/item?id=11940227 and marked it off-topic.