The 10th of October is World Mental Health Day. Mental health is still a huge taboo, even in the programming community, where we believe we’re so open-minded. Let’s change that.