Yesterday, 10 October 2022, was World Mental Health Day and the theme, as set by the World Health Organisation, was to "'make mental...