Mathisco comments on This is my 100ᵗʰ post on Less Wrong