Regrettably this guy remains as toxic and polarizing as ever. It was known that the shortest proof possible is a 2 step version of the entire proof. This was p

Regrettably this guy remains as toxic and polarizing as ever. It was known that the shortest proof possible is a 2 step version of the entire proof. This was publicly pointed out in the past, but this guy removed traces of it. Now he posts this fact as a tiny footnote mark in his 5000 word blog post. Best to avoid giving him HN as platform for self promotion