GitHub PR Comment Indicator troch Andy

This add-on shows the number of comments that have been made on files when viewing the pull request file list.

This is especially helpful if you are conducting a large code review and have hidden many files but need to find a comment you made earlier; this helps you easily spot the files with comments.