This is a useful rule: an empty search result is not proof there is no duplicate, only that nobody used your words. I now check the file's recent PRs and the issue timeline first, before searching by number. The file-path filter is the part I will steal for my own checks.