The search https://moodle.org/public/search needs to be improved to search moodledev.io rather than returning results for docs.moodle.org/dev.

Steps to reproduce:

1. Look at https://moodledev.io/ and choose a phrase to search for e.g. 'API guides'.
2. Go to https://moodle.org/public/search and perform the search.

Expected result: moodledev.io is listed in the search results.

Actual results: docs.moodle.org/dev is listed in the search results.

Documentation page related to the search engine:
https://moodlesuccess.atlassian.net/wiki/spaces/CS/pages/2901573637/Search+engine+in+moodle.org