I think you've misunderstood why I'm downloading the hosts file. This isn't where the list of hosts comes from, it's just used as a canonical source of the machine host keys. I can't leave that up to the system SSH because from its point of view `foo.bar.{preview,staging,production` are all just called `foo.bar`.