I know that would likely be the main entry point and who found it. I reviewed that chat logs which are public and they just said they found it. As far as I know this isn't exactly hard information to find as you could just parse the moderator listings if you needed to.
This was their post for context: "API reports is_employee as False, but the user is not on mod lists, so... ?"