Text this: [Labor Day observance by Federal employees, text of Executive order].