Also, there's the PyPI page here: https://pypi.org/project/stim/. Users might be interested in installing Stim via pip, so the PyPI page is important. If the user is referring to an archive of files like examples or documentation, the GitHub repo would have those. Maybe they're asking about third-party repositories, but that's risky. I should emphasize sticking to official sources.