My problem with code search is that when I’m searching I’ll randomly get dumped to github.com/search with the search blanked, and anything I put in the search box at that URL is ignored. I have to go back in my history until I’m in the normal GitHub UI again. My search has also been discarded there, but at least I can interact with it.