If anyone is looking for actually useful cross-repo search: https://grep.app/