I believe all the courts mentioned are Texas state courts. Ping to one who knows about this.
So the 10th Circuit court mentioned in the article is NOT the US 10th Circuit?