Fixing: Search functionality in the Documentation has stopped working Closes #681 See merge request !848