You didn’t see my reply before I deleted it.
Yes, apparently, I didn’t. But now you’ve stirred my curiousity.