The blog post went live, and I added a comment.

https://johncarlosbaez.wordpress.com/2015/03/27/spivak-part-1/#comment-65292