Comment by Vanit

I don't suppose you're using an Android phone and tested this in the search bar widget? I was able to reproduce your results that way, but it did provide me with a search instead option that did lead to the relevant GitHub page. I then tried again to reproduce the test in mobile Chrome and immediately got the right result without being promoted to search instead for what I'd actually searched for.