It was witty but with terrible timing.
Like most of us here.
( Aardvark and so at last, I understood, Mon 4 Nov 2024, 18:17, archived)

Except for the witty bit.

( Aardvark and so at last, I understood, Mon 4 Nov 2024, 18:20, archived)