Text this: Vaccination of healthcare workers: is mandatory vaccination needed?