While I probably would have disagreed with the OP's tone (I can't see the post anymore because of too many downvotes, guess I'm late to the party), I agree in p

While I probably would have disagreed with the OP's tone (I can't see the post anymore because of too many downvotes, guess I'm late to the party), I agree in principle: GitHub could have drastically improved their search function already years ago with some pretty simple ideas (low-hanging fruit and such), no need to throw ML at it...