I was googling why Labor Day in the US is in September and not May like the civilized world, and found this which turns out to have something to do with Pete Seeger, so I thought y'all might enjoy it.