Merge branch 'enc-search' into 'v0.10.1'

Encyclopedia with complex search capability.

See merge request !299
13 jobs for v0.10.1 in 19 minutes and 38 seconds (queued for 1 second)