Thank you. Don’t see the one I’m looking for, but it may have been a little too obscure to merit mention.
Am tempted to restart the “Ping Me When the Internet Goes Down Ping List” but don’t want to step on anybody’s toes.