Add agents to the global search in the public app
Merge pull request #619 from hudmol/add-agents-to-public-global-search

Add agents to the global search in the public app