Display the full list of files in the Pull Request file tree view

When visualizing the diffs of a pull request containing a large number of files, a file tree navigation bar is provided to the user, where the user can navigate the diffs per individual file. However, currently the number of loaded files is limited, an the following message is shown:

Since the diffs are loaded individually, it would be great to show all the files in the file tree of the pull request, so they can be selected by the users reviewing the changes.