Celebrating leisure.

(Celebrating leisure is appropriate, provided we also recall the purpose of the holiday.) (Editorial)