An ActivityPub proposoal for pinging