++ Thanks.

I was aware that such a flag existed but couldn't remember what it was. At 2am I was too lazy to type man ping for what was intended as a quick check.

As is often the case, this short-cut became a long-cut: typing an explanation for Ctrl-C turned out to be more work. 😳