10 October is World Mental Health Day. This is a good opportunity to pay extra attention to mental health, not least in the workplace.