October 10 is celebrated as World Mental Health Day. In the last couple of years, tech companies have started to…