Code snippet: expand all diffs in a GitHub PR

When the PR has too many changes, GitHub will hide the diff behind a "Load diff" button. This code snippet will expand all of them, one by one.