Why it's called “MagicDNS” instead of “Magic DNS”