re: #658 wrenchwench

I miss pingjockey too, and I think realwest is our line to him.

What happened to Ping?