This year’s World Mental Health Day, on 10 October, comes at a time when our daily lives have changed considerably as a result of the COVID-19 pandemic. The past months have brought many challenges: for health-care workers, providing care in...