I don't see anything in https://docs.github.com/en/search-github/github-code-search/... :/