An introduction to the `dig` command for DNS troubleshooting: why it's more informative than `ping`, how to use it, and …