If I want to search locally, I'll use some tool to search my checked-out code. I used to search my org's code on a daily basis and all of GitHub a few times a

If I want to search locally, I'll use some tool to search my checked-out code. I used to search my org's code on a daily basis and all of GitHub a few times a week at least, back when I used git for work. I think you may be overestimating how common your specific use-case is.