Shit. Right away after making the comment, I saw that you had cross posted and then immediately deleted my comment.

But apparently it didn’t show up as deleted for others?

Here’s what it looks like for me:

Maybe this is a case of different instances treating comment deletion differently?

Anyway, sorry about making a whiny comment.