I was somewhat sad when this wasn't covered by main stream media. So I'm glad they are fixing that.

Also check out John Baez 'In Memoriam' post https://johncarlosbaez.wordpress.com/2017/10/06/vladimir-voe...

> he changed the meaning of the equals sign.

Into what?