Good news: the new search is now live on docs.dataminer.services!
The search feature on docs.dataminer.services has been completely overhauled so that you will now have faster and better search results. Go try it out!
New search on docs.dataminer.services