There is a huge thread here from when it happened:
Yes it is all Hetzner IPs.
And yes it sucks that there is no indication that using Hetzner is not allowed without searching the forums or searching google. Which as you point out, is just a waste of peoples time.
By now I would have though they could have at least added a note to the install documentation !!!