As I side note, I would be curious to know how my comment could be improved, as I see it was downvoted. I guess it is too adversarial.
(I didn’t downvote it.)
(I didn’t downvote it.)