re: #675 jcm

He wasn’t “pushed”- he freely posted his comments.