message: Disable `faster-pr-diff-options` on PR Files
  Closes
diff: @@ -101,7 +101,7 @@ features.add({
  description: 'Adds one-click buttons to change diff style and to ignore the whitespace and a keyboard shortcut to ignore the whitespace: `d` `w`.',
  screenshot: 'https://user-images.githubusercontent.com/1402241/54178764-d1c96080-44d1-11e9-889c-734ffd2a602d.png',
  include: [
  - features.isPRFiles,
  + // Disabled because of #2291 // features.isPRFiles
  features.isCommit
  ],
  load: features.onAjaxedPages,
  