Steps to reproduce it
- go to https://docs.readthedocs.io/en/latest/
- click on search
- type
configuration
- hit Enter
Actual result
You are redirected to https://docs.readthedocs.io/en/latest/search.html?q=configuration&check_keywords=yes&area=default which is the default search (instead of the Search As You Type)
Expected result
I was expecting that it will just send the current query to the backend and do nothing, basically.
In case we want to have a fallback to the default search result, I think the usage of Enter has to be communicated in the UI.