A handy little tool to quickly switch between two DNS-Servers - View it on GitHub