Thank you!

Note that improvements from GitHub Code Search have been integrated into the main website, which means you can do something like this:

https://github.com/search?q=lang%3AZig%20%2F%22https%3F%3A%5...