Anyone else very pleased by this? Reported in the Independent newspaper that all NHS staff will be vaccinated from early December