Text this: Retirement of United States judges.