I now see the NY Times reported this data in a story that went up mid-morning today. See, if I'd only spent less time working and more time on social media, I'd have caught that. https://www.nytimes.com/2026/04/09/us/politics/trump-miller-immigration-judges-purge.html