Didn't know about Mike, very sad. Don't know what I'd do without `ping`. Here's the Wikipedia link: https://en.wikipedia.org/wiki/Mike_Muuss https://en.wikiped

Didn't know about Mike, very sad. Don't know what I'd do without `ping`. Here's the Wikipedia link: https://en.wikipedia.org/wiki/Mike_Muuss https://en.wikipedia.org/wiki/Mike_Muuss