Happy May Day

Today is May Day, International Workers’ Day and the equivalent of Labor Day for the rest of the world.  You can read more about its origins here.