Index of closed PRs. Link on PR number takes you to the GitHub PR page. Link on PR title takes you to the index of specifications in this build. If change markup is detected, the specifications that are changed by this PR are listed below the title.