You ping me by hitting “reply” to the comment, and adding my name in the “to” box.
Thanks!
I can do that...