I didn’t ping JR personally out of courtesy & respect. He has his hands full riding herd on a site as big as this one. I don’t ping him lightly. Yes, I thanked him. I thanked him from my heart. But the ping rule doesn’t always apply in JR’s case. He has enough to do w’out being pinged 24/7. Perhaps someone will relay my gratitude. But if not, fine. I thanked him publically, and that should suffice to all except the most disruptive members on the site.