Puede que haya perdido el "día festivo" real por unas pocas horas, pero feliz Día de Clarence Thomas a quienes lo celebran.