Manual merge/integration of "new-search" branch into master + Several new search improvements (1)
The improvements are specified in a Gitlab document: https://gitlab.mpcdf.mpg.de/nomad-lab/encyclopedia-general/-/wikis/A2-new-search-tasks
The improvements are specified in a Gitlab document: https://gitlab.mpcdf.mpg.de/nomad-lab/encyclopedia-general/-/wikis/A2-new-search-tasks