I added that last post to the wrong weblog. Oh well. It worked anyway, the pinger pinged, and that's all I care about.