rendermanager.py 2.6: simpler, more robust display of pings.