The link to the PRG1 and PRG2 EN specifications can be found in the left panel and also here.
git pull course-upstream main --allow-unrelated-histories