Thanks, Nachum. I hadn’t heard about this.
Thanks, too for your excellent pings!
Glad it isn’t too much