Comment by gumby

I’m surprised this comment was downvoted.

I know it’s bad form to discuss that, but this is a completely normative comment, with no opinion given so far from being a flame. And it adds to the technical discussion!