Leisure-time exercise 'reduces depression risk' | Hacker News Reader