Up-to-date list of ad server hostnames and IP addresses in various formats
Configuration changes unfortunately require re-compilation, otherwise neat.