I just wonder.... don't they use litigation type software to find Trump's name. I hope that they were not doing this manually. PS. I spent a lot of years designing and building legal/litigation search tools. Even one back in 1986.