I would like to note the irony: my comment above is being downvoted as well :D. It is starting to feel like the kind of toxicity I find on StackOverflow.
They seem to disagree :) Given I was polite, curious, and not leaving a “throwaway comment” that was on the broader topic (let alone the numerous substantive replies), it’s giving zealotry to me. Oh well.