Include the Alias? Skip the Real Name? COVID-19 Vaccination Card Recommendations