May 1st has always been a holiday. This year, though, they gave workers time off from Thursday the first, right through ...