SCOTUS "docket" has Texas case