Doesn't matter, this isn't the "official" admins list used on the live servers. Just makes life easier everytime you fetch to the latest version.