> Or are you saying that this pull request isn't the appropriate place to solve that problem? 

No. I was just saying that putting a comment in the diff was confusing to me because I thought it was about the commit itself. When you're viewing a commit, you can click the "View" button on the upper right corner of the box containing the diff to see the entire file as of that commit. I was suggesting that you comment directly on the pull request and include a link to that page.