Vaccinating against covid-19 in people who report allergies