They didn't. They just set the manager name to "Managed by a computerized player." Bots show as light grey in the league page, don't have country or world ranks, and don't have a "last login date" in their team page.
They have been inactive for a while, so maybe they will go bot soon though.