Caring About the Mental Health of IT Professionals