That other thread on the subject is timestamped 15:59 and mine was 16:04. What can I say? I type very s-l-o-w-l-y. :-)
It wasn't yet there when I started my laborious process of posting this one.