John Naughton asks: Also: isn’t herd immunity about vaccination, not infection?

Nope, it is about immunity. That may be the result of prior infection, or it may be the result of vaccination. Either way, what matters is the percentage of contacts who are susceptible.