So much for diversity. So much for labor day being anything but a day off for public employee unions. Can we get rid of that now, too?