On Sat, Jul 8, 2023 at 1:09 PM Patrick O'Callaghan
<pocallaghan(a)gmail.com> wrote:
[...]
Yes, I think you're right. In fact I think I even asked about this in
the distant past.
There's an old joke:
"I think I'm getting a combination of memory loss with déjà vu, because
I may have forgotten about this before."
+1