It is directly downloaded from `http://www.head-db.com/dump/` (a couple minutes ago).
A future commit will change the EpicHeads code to download the JSON from GitHub instead of head-db.com.
The domain/page is basically discontinued, doesn't have https most of the time, serves the
JSON dump with the wrong Content-Type and its uptime has been an common issue in the past.
Christian Koop