Did the FBI search the Epstein files for the many aliases Trump has used? Did the FBI search for trump’s KGB name Krasnov?

trump “has used several pseudonyms, including "John Barron" (or "John Baron"), "John Miller" and "David Dennison". His practice of sometimes speaking to the media under the guise of a spokesperson has been described as "an open secret" at the Trump Organization and in New York media circles. it is reported that Russia’s KGB asset code name for trump is Krasnov and Epstein is reported to have Russian connections. Our media should be asking if any of trump’s many aliases were searched by the FBI’s months long review of the Epstein files. More recent names for trump including Pedo, Taco, and after South Park, teenie weenie donnie, probably unlikely to be in the Epstein Files but the FBI might screen for TWD.