The reason I posted a link regarding the same topic again is because this is a link to a blog post by a respected complexity theorist which actually discusses the proof albeit cursorily.