Merge branch '630-dev-search-api-improvements' into 'dev'

[search] small refactoring of the search API

See merge request !441
4 jobs for dev in 50 minutes and 57 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Cabal
passed #19252
cabal

00:21:25

 
  Stack
passed #19253
stack

00:04:01

 
  Bench
manual #19254
allowed to fail manual
bench
 
  Test
passed #19255
test

00:25:30