Shouldn't managers at companies make their supposedly fun activities optional? | Hacker News Reader