Switch some HEAD downloads from d.o to GitHub.