DNS Extension

At long last, the DNS extension is finally ready to be merged.