You are right, they added a A record in the root zone file. I didn't know it was allowed.

https://news.ycombinator.com/item?id=31690379