Vaccination efforts for Buruli ulcer