[arch-dev-public] Cleaning up the DNS

Hey all, there is this DNS entry that I have no clue about what it does and whether it's needed: community IN CNAME nymeria Since nymeria is going away, I would like to know what this does. Any clue anybody? I can't even find community.archlinux.org on Google so it's probably safe but then again I thought it's better to be safe than sorry. Sven