> stumbled upon the old Decimation thing on Wikipedia

He took Latin at his first high school and at Exeter when he went there for 11th and 12th grades, so he almost certainly knew it without Wikipedia.

But yeah, whenever I've survived a layoff it feels a bit like surviving a decimation or some other collective punishment.