The comment section is getting really ugly and off-topic so I’ve decided to no longer allow personal attacks against anyone here (with the rare exception of attacks against me, if it’s something I feel compelled to respond to).  If I have time or if the comment is otherwise good, I may publish the comment with the personal attack redacted, but if I’m busy I’ll just moderate the entire comment.