実際の「休日」を数時間逃したかもしれませんが、祝う人たちにクラレンス・トーマス・デーおめでとうございます。