chiark / gitweb /
Document ping output right.