I installed the GitHub diff files filter on Firefox with Tampermonkey.
When looking at a PR all the buttons are correctly rendered (ie file extensions and folders are picked up), but toggling anything other than the «all» button doesn't do anything.
How can I debug it?