The internet's 13 “root servers” are actually over a thousand machines — Anecdota