Text this: Kenyan patients’ attitudes regarding doctor ethnicity and doctor–patient ethnic discordance