I didn't take them as such. But I am the one who combined these posts from @murch when they were posted in separate contexts.

I didn't think it through all that much, so your comments were helpful and much appreciated. But it raises the question in my mind next: when should one delete a post (I don't want to mislead anyone who doesn't read the comments here) versus leaving it up because it might help with education if they do read the comments?