I don’t know how to ping people, but I will post a reply if I get it..
You ping me by hitting “reply” to the comment, and adding my name in the “to” box.
Thanks!