@JanePitt @BurghPotPie It comes from the command ping, as in "ping google.com." Honestly, pinging people makes more sense in real-time chat.