Fairly compelling attack vector because it took several readings for me to even see the problem with the domain.

You and many others. Including people who retry multiple times, and even reboot their machines.

* https://stackoverflow.com/a/66985424/340790 (Spot the answerer's account name!)

* https://forums.docker.com/t/docker-unable-to-push-to-ghrc-io...