This information about `getaddrinfo_a` should probably also be in the Github issue?