Add search to user manual / documentation #395
Description
Describe the problem
Having a search feature in the user manual would make it much easier to find information quickly.
Describe the solution you'd like
A search function.
Describe alternatives you've considered
No response
Screenshots
No response