Labor Day has a complicated history. The working class already had a day celebrating the worker before this one came along—May 1, International Workers’ Day, which the rest of the world recognizes as Labor Day—but Mr. Grover couldn’t leave well enough alone. All that aside, I’m glad you have the day off, and I think…