To be clear, at the time I made that comment, every top-level response in this thread had precisely one downvote, apart from two. One had many downvotes (“Most of them”), obviously just not very constructive. The other was this one. It’s obviously the result of some troll.