| HN Mirror

That's an extension to let you use Google's DNS servers and still have CDNs work.

Without it the functionality described above will just work - it's only when you are using an unusual DNS setup that the extension is needed.