GitHub is the live source of truth for issues, milestones, CI runs, releases, and branch protection. Read CONTRIBUTING.md before starting non-trivial work. If markdown snapshots drift from GitHub, ...

This will take a few minutes. Attention: the generated file has a size of approx. 12 GB, so make sure to have enough diskspace. If you're running the challenge with a ...