Do you know what got post 1242 deleted? I wonder if it was me!
I don’t think it was. But I didn’t see the original.