Tools for managing DNS settings on MacOS