/lively4-server/src/lively4-search/shared

• lunr-search-worker.js
• lunr-search.js
• search-utils.js