Display a paginated list of all ontologies for empty queries and on start in repositories
Merge branch 'develop' into develop.ontohub.org