@user68186 I noticed your comment before your chat message, so I edited the post and commented there. I went with a wording that is more neutral than what I had
originally suggested, to avoid having the post assert anything that you might not be willing to support.