Were they fired, made redundant, or otherwise "let go"? My assumption is that severance is only paid under such circumstances, but, as the grandparent poster po

Were they fired, made redundant, or otherwise "let go"? My assumption is that severance is only paid under such circumstances, but, as the grandparent poster points out, the linked article makes it sound like they chose to leave for new jobs.