Comment by barryrandall

Python's ping3 package also encodes this knowledge in LLM-accessible form.