Footnote 1 does not reference Judge Lamberth sitting with the Western District of Texas since 2015.